| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | about.phtml | 1660 | logplain |
| -rw-r--r-- | doc.phtml | 2092 | logplain |
| -rw-r--r-- | download.phtml | 4409 | 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 | 5976 | logplain |
| -rw-r--r-- | head.phtml | 970 | logplain |
| -rw-r--r-- | header.phtml | 1456 | logplain |
| -rw-r--r-- | htmlshow.phtml | 344 | logplain |
| d--------- | images | 416 | logplain |
| -rw-r--r-- | index.phtml | 210 | logplain |
| -rw-r--r-- | index.shtml | 33 | logplain |
| -rw-r--r-- | links.phtml | 513 | logplain |
| -rw-r--r-- | mailinglist.phtml | 2159 | logplain |
| -rw-r--r-- | main.phtml | 2562 | logplain |
| -rw-r--r-- | news.phtml | 726 | logplain |
| -rw-r--r-- | notes.txt | 415 | logplain |
| -rw-r--r-- | proofgen.css | 2314 | logplain |
| -rw-r--r-- | register.phtml | 2721 | logplain |
| -rw-r--r-- | screenshot.phtml | 596 | logplain |
| -rw-r--r-- | smallheader.phtml | 276 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |