| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | RIP.xbm | 2774 | logplain |
| -rw-r--r-- | abacus.xbm | 2780 | logplain |
| -rw-r--r-- | colormap138.xpm | 3264 | logplain |
| -rw-r--r-- | colormap66.xpm | 1238 | logplain |
| -rw-r--r-- | drawing.xbm | 2304 | logplain |
| -rw-r--r-- | escherknot.xbm | 2792 | logplain |
| -rw-r--r-- | filing.xbm | 2780 | logplain |
| d--------- | fonts | 156 | logplain |
| -rw-r--r-- | hourglass.xbm | 2789 | logplain |
| d--------- | origfonts | 78 | logplain |
| -rw-r--r-- | recycle.xbm | 2301 | logplain |
| -rw-r--r-- | rgb.txt | 17390 | logplain |
| -rw-r--r-- | scroll2.xbm | 2780 | logplain |
| -rw-r--r-- | splat.xbm | 3116 | logplain |
| -rw-r--r-- | stopsign.xbm | 2716 | logplain |
| -rw-r--r-- | termlock.xbm | 2786 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |