directory / @ 566:1a231194d164 tip

name size permissions
[up] drwxr-xr-x
dir. latex/ drwxr-xr-x
dir. src/ drwxr-xr-x
dir. staging/ drwxr-xr-x
dir. templates/ drwxr-xr-x
dir. tools/ drwxr-xr-x
file .hgignore 309 -rw-r--r--
file Makefile 2557 -rw-r--r--
file _CoqProject 12 -rw-r--r--