Taco
Text replacement - "<cmd>" to "{{cmd|"
13:20
+2
Text replacement - "</cmd>" to "}}"
13:18
-8
Garulfo
no edit summary
18:50
+30
14:06
+26
remove link to former font page
18:54
-4
Esteisbot
moved cont-sys.tex to Cont-sys.tex: move to Uppercase
16:27
Adityam
Cont-sys.tex moved to cont-sys.tex: case sensitive
22:48
Mojca Miklavec
Metapost -> MetaPost
16:47
84.150.13.94
13:45
+8
ChristopherCreutzig
pre -> texcode
15:59
Hraban
added some more hints
12:09
+123
added hint about typescripts
19:43
+176
Patrick Gundlach
small hint to texmf.cnf
15:06
+65
new
14:02
+653