| commit | d6bed612c4cc9f1935d3dd051df102b9702bf987 | |
| author | vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Mon, 12 Jul 2010 09:26:27 +0000 (12 09:26 +0000) | ||
| committer | vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692> | |
| Mon, 12 Jul 2010 09:26:27 +0000 (12 09:26 +0000) | ||
| tree | d53f65ffd78ae86d19fa5dffe79c1127bb15eb99 | treesnapshot (tar.gz zip) |
| parent | 38d6bf411e6a68e15ea97d52d77924a596229b17 | commitdiff |
Several improvements
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2992 64cb5145-927a-446d-8aed-2fb7b4773692
git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2992 64cb5145-927a-446d-8aed-2fb7b4773692