| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | IsaPGscreen.html | 1834 | logplain |
| -rw-r--r-- | IsaPGscreen.jpg | 49634 | logplain |
| -rw-r--r-- | ProofGeneral.jpg | 5461 | logplain |
| -rw-r--r-- | text_general.jpg | 4655 | logplain |
| -rw-r--r-- | text_proof.jpg | 3639 | logplain |
| -rw-r--r-- | vh40.gif | 906 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
