repo.or.cz
/
texmacs.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
Minor improvement
[texmacs.git]
/
doc
/
main
/
start
/
tree
5ff59fb483d5783e556bf195b53b1bd274763a17
drwxr-xr-x
..
-rw-r--r--
2791
man-conventions.de.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4007
man-conventions.en.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4564
man-conventions.es.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4053
man-conventions.fr.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4637
man-conventions.it.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2898
man-conventions.pl.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4381
man-conventions.pt.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1988
man-files.de.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2517
man-files.en.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4511
man-files.es.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
3843
man-files.fr.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4119
man-files.it.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1986
man-files.pl.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
3937
man-files.pt.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
947
man-getting-started.de.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1621
man-getting-started.en.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2050
man-getting-started.es.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1649
man-getting-started.fr.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1633
man-getting-started.it.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1300
man-getting-started.pl.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1663
man-getting-started.pt.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2719
man-print.de.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2380
man-print.en.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
5229
man-print.es.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4327
man-print.fr.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4693
man-print.it.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2377
man-print.pl.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
4287
man-print.pt.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
1883
man-setup.de.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2739
man-setup.en.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
3219
man-setup.es.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2811
man-setup.fr.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2874
man-setup.it.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2019
man-setup.pl.tm
blob
|
blame
|
history
|
raw
-rw-r--r--
2861
man-setup.pt.tm
blob
|
blame
|
history
|
raw