| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | abacus.xbm | 2780 | logplain |
| -rw-r--r-- | filing.xbm | 2780 | logplain |
| d--------- | origfonts | 78 | logplain |
| -rw-r--r-- | scroll2.xbm | 2780 | logplain |
| -rw-r--r-- | splat.xbm | 3116 | logplain |
| -rw-r--r-- | stopsign.xbm | 2716 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |