Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | EDITING | 1261 | logplain |
-rw-r--r-- | Makefile | 2067 | 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 | 523 | logplain |
-rwxr-xr-x | mediawiki-blockquote | 287 | logplain |
-rwxr-xr-x | mediawiki-extract | 329 | logplain |
-rwxr-xr-x | mediawiki-trim | 293 | logplain |
-rwxr-xr-x | mediawiki-uri-escape | 493 | logplain |
-rwxr-xr-x | pandoc-cs1 | 1407 | logplain |
-rwxr-xr-x | pandoc-iri | 676 | logplain |
-rwxr-xr-x | pandoc-memoir | 1366 | logplain |
-rw-r--r-- | template.tex | 5382 | logplain |