| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 9 |  .. |
| -rw-r--r-- | 7567 |  ada_pygments.py |
| -rw-r--r-- | 6052 | conf.py |
| -rw-r--r-- | 695 | copyright.tex |
| -rw-r--r-- | 2394 | gnat.sty |
| -rw-r--r-- | 23098 | gnu_free_documentation_license.rst |
| -rw-r--r-- | 1382 | latex_elements.py |
| -rw-r--r-- | 17209 | sphinx.sty |