| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Axioms.v | 2014 | logplain |
| -rw-r--r-- | Makefile | 283 | logplain |
| -rw-r--r-- | Name.v | 1648 | logplain |
| -rw-r--r-- | README | 134 | logplain |
| -rw-r--r-- | Semantics.v | 8617 | logplain |
| -rw-r--r-- | Syntax.v | 7660 | logplain |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |