]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 750 | Makefile | blob | history | raw |
-rw-r--r-- | 2499 | lift.ma | blob | history | raw |
-rw-r--r-- | 1456 | preamble.ma | blob | history | raw |
-rw-r--r-- | 28 | root | blob | history | raw |
-rw-r--r-- | 2198 | term.ma | blob | history | raw |
-rw-r--r-- | 1867 | trichotomy.ma | blob | history | raw |
-rw-r--r-- | 434 | xoa.conf.xml | blob | history | raw |
-rw-r--r-- | 1647 | xoa.ma | blob | history | raw |
-rw-r--r-- | 2050 | xoa_notation.ma | blob | history | raw |