| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | IsaPGscreen.jpg | 50670 | logplain |
| -rw-r--r-- | ProofGeneral.jpg | 12002 | logplain |
| -rw-r--r-- | bullethole.gif | 1019 | logplain |
| -rw-r--r-- | canvaswallpaper.jpg | 3354 | logplain |
| -rw-r--r-- | coq-badge.gif | 3174 | logplain |
| -rw-r--r-- | isabelle-badge.gif | 4674 | logplain |
| -rw-r--r-- | lego-badge.gif | 3925 | logplain |
| -rw-r--r-- | pg-text.gif | 13428 | logplain |
| -rw-r--r-- | portrait-thumb.jpg | 6220 | logplain |
| -rw-r--r-- | portrait.jpg | 84799 | logplain |
| -rw-r--r-- | vh40.gif | 906 | logplain |
| -rw-r--r-- | whip-thumb.jpg | 5270 | logplain |
| -rw-r--r-- | whip.jpg | 67684 | logplain |
| -rw-r--r-- | whole-man-thumb.jpg | 5714 | logplain |
| -rw-r--r-- | whole-man.jpg | 63335 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
