| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | about.phtml | 1453 | logplain |
| -rw-r--r-- | doc.phtml | 2092 | logplain |
| -rw-r--r-- | download.phtml | 4411 | logplain |
| -rw-r--r-- | features.phtml | 5060 | logplain |
| -rw-r--r-- | feedback.phtml | 2051 | logplain |
| -rw-r--r-- | fileshow.phtml | 303 | logplain |
| -rw-r--r-- | footer.phtml | 402 | logplain |
| -rw-r--r-- | functions.php3 | 5828 | logplain |
| -rw-r--r-- | head.phtml | 655 | logplain |
| -rw-r--r-- | header.phtml | 1456 | logplain |
| -rw-r--r-- | htmlshow.phtml | 344 | logplain |
| d--------- | images | 380 | logplain |
| -rw-r--r-- | index.phtml | 216 | logplain |
| -rw-r--r-- | index.shtml | 33 | logplain |
| -rw-r--r-- | links.phtml | 511 | logplain |
| -rw-r--r-- | mailinglist.phtml | 2159 | logplain |
| -rw-r--r-- | main.phtml | 2564 | logplain |
| -rw-r--r-- | news.phtml | 726 | logplain |
| -rw-r--r-- | notes.txt | 308 | logplain |
| -rw-r--r-- | proofgen.css | 2314 | logplain |
| -rw-r--r-- | register.phtml | 56 | logplain |
| -rw-r--r-- | screenshot.phtml | 596 | logplain |
| -rw-r--r-- | smallheader.phtml | 283 | logplain |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |