| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | about.phtml | 1669 | logplain |
| -rw-r--r-- | counter.php3 | 1047 | logplain |
| -rw-r--r-- | doc.phtml | 2417 | logplain |
| -rw-r--r-- | download.phtml | 5085 | logplain |
| -rw-r--r-- | features.phtml | 5061 | logplain |
| -rw-r--r-- | feedback.phtml | 2051 | logplain |
| -rw-r--r-- | fileshow.phtml | 296 | logplain |
| -rw-r--r-- | footer.phtml | 396 | logplain |
| -rw-r--r-- | functions.php3 | 7194 | logplain |
| -rw-r--r-- | head.phtml | 984 | logplain |
| -rw-r--r-- | header.phtml | 1476 | logplain |
| -rw-r--r-- | hits.phtml | 682 | logplain |
| -rw-r--r-- | htmlshow.phtml | 78 | logplain |
| d--------- | images | 416 | logplain |
| -rw-r--r-- | index.phtml | 162 | logplain |
| -rw-r--r-- | index.shtml | 135 | logplain |
| -rw-r--r-- | links.phtml | 520 | logplain |
| -rw-r--r-- | mailinglist.phtml | 2147 | logplain |
| -rw-r--r-- | main.phtml | 3318 | logplain |
| -rw-r--r-- | news.phtml | 1217 | logplain |
| -rw-r--r-- | notes.txt | 822 | logplain |
| -rw-r--r-- | proofgen.css | 2178 | logplain |
| -rw-r--r-- | register.phtml | 2721 | logplain |
| -rw-r--r-- | screenshot.phtml | 596 | logplain |
| -rw-r--r-- | smallheader.phtml | 199 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |