| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYRIGHT | 592 | logplain |
| -rw-r--r-- | README | 7671 | logplain |
| -rw-r--r-- | Xml.v | 2278 | logplain |
| -rwxr-xr-x | fix_uri.pl | 4101 | logplain |
| -rwxr-xr-x | mkindex.sh | 76 | logplain |
| -rw-r--r-- | xml.ml | 3682 | logplain |
| -rw-r--r-- | xml.mli | 2742 | logplain |
| -rw-r--r-- | xmlcommand.ml | 37557 | logplain |
| -rw-r--r-- | xmlcommand.mli | 3759 | logplain |
| -rw-r--r-- | xmlentries.ml | 2702 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |