Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | EDITING | 1261 | logplain |
-rw-r--r-- | Makefile | 2367 | logplain |
-rw-r--r-- | TODO | 1721 | logplain |
-rw-r--r-- | after.tex | 15 | logplain |
-rw-r--r-- | before.tex | 114 | logplain |
-rw-r--r-- | eut.raw | 153799 | logplain |
-rw-r--r-- | header.tex | 887 | logplain |
-rwxr-xr-x | mediawiki-blockquote | 287 | logplain |
-rwxr-xr-x | mediawiki-extract | 336 | logplain |
-rwxr-xr-x | mediawiki-trim | 293 | logplain |
-rwxr-xr-x | mediawiki-uri-escape | 495 | logplain |
-rwxr-xr-x | pandoc-cs1 | 1365 | logplain |
-rwxr-xr-x | pandoc-iri | 1213 | logplain |
-rwxr-xr-x | pandoc-memoir | 1371 | logplain |
-rwxr-xr-x | pandoc-todo | 2346 | logplain |
-rw-r--r-- | template.tex | 5510 | logplain |