| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CoqNotations.ttf | 37988 | logplain |
| -rw-r--r-- | Makefile | 1154 | logplain |
| -rw-r--r-- | TacticNotations.g | 1867 | logplain |
| -rw-r--r-- | TacticNotations.tokens | 108 | logplain |
| -rw-r--r-- | TacticNotationsLexer.py | 3421 | logplain |
| -rw-r--r-- | TacticNotationsLexer.tokens | 108 | logplain |
| -rw-r--r-- | TacticNotationsParser.py | 33808 | logplain |
| -rw-r--r-- | TacticNotationsVisitor.py | 3100 | logplain |
| -rw-r--r-- | UbuntuMono-B.ttf | 191400 | logplain |
| -rw-r--r-- | __init__.py | 0 | logplain |
| -rwxr-xr-x | fontsupport.py | 2951 | logplain |
| -rw-r--r-- | html.py | 3268 | logplain |
| -rw-r--r-- | parsing.py | 2248 | logplain |
| -rw-r--r-- | plain.py | 2622 | logplain |
| -rw-r--r-- | regexp.py | 2514 | logplain |
| -rw-r--r-- | sphinx.py | 4654 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |