| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 128x128 | 44 | logplain |
| d--------- | 16x16 | 44 | logplain |
| d--------- | 32x32 | 44 | logplain |
| d--------- | 48x48 | 44 | logplain |
| d--------- | 64x64 | 44 | logplain |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |