| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile.emacs | 1962 | logplain |
| -rw-r--r-- | RIP.xbm | 2774 | logplain |
| -rw-r--r-- | colormap138.xpm | 3264 | logplain |
| -rw-r--r-- | drawing.xbm | 2304 | logplain |
| -rw-r--r-- | escherknot.xbm | 2792 | logplain |
| d--------- | fonts | 586 | logplain |
| d--------- | genfonts | 1196 | logplain |
| -rw-r--r-- | hourglass.xbm | 2789 | logplain |
| d--------- | origfonts | 78 | logplain |
| d--------- | pcf | 1748 | logplain |
| -rw-r--r-- | recycle.xbm | 2301 | logplain |
| -rw-r--r-- | termlock.xbm | 2786 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |