Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.Debian | 1319 | logplain |
-rw-r--r-- | changelog | 5452 | logplain |
-rw-r--r-- | compat | 1 | logplain |
-rw-r--r-- | control | 2838 | logplain |
-rw-r--r-- | copyright | 825 | logplain |
-rw-r--r-- | coq-libs.install | 60 | logplain |
-rw-r--r-- | coq.desktop | 130 | logplain |
-rw-r--r-- | coq.dirs | 46 | logplain |
-rw-r--r-- | coq.emacsen-install | 1227 | logplain |
-rw-r--r-- | coq.emacsen-remove | 453 | logplain |
-rw-r--r-- | coq.emacsen-startup | 851 | logplain |
-rw-r--r-- | coq.install | 487 | logplain |
-rw-r--r-- | coq.menu | 131 | logplain |
-rw-r--r-- | coq.xpm | 1496 | logplain |
-rw-r--r-- | coq7-libs.install | 63 | logplain |
-rw-r--r-- | coqide.dirs | 50 | logplain |
-rw-r--r-- | coqide.docs | 19 | logplain |
-rw-r--r-- | coqide.install | 99 | logplain |
-rw-r--r-- | docs | 23 | logplain |
-rwxr-xr-x | rules | 2202 | logplain |