Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | EDITING | 1261 | logplain |
-rw-r--r-- | Makefile | 2749 | logplain |
-rw-r--r-- | TODO | 1829 | logplain |
-rw-r--r-- | after.tex | 15 | logplain |
-rw-r--r-- | before.tex | 387 | logplain |
-rw-r--r-- | copyright.md | 1555 | logplain |
-rw-r--r-- | eut.raw | 154257 | 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-matter | 568 | 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 | 2408 | logplain |
-rw-r--r-- | template.tex | 5610 | logplain |