| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | GoalGoal.l | 357 | logplain |
| -rw-r--r-- | error-eg.l | 391 | logplain |
| -rw-r--r-- | lego-site.el | 1422 | logplain |
| -rw-r--r-- | long-line-backslash.l | 923 | logplain |
| d--------- | multiple | 158 | logplain |
| -rw-r--r-- | pbp.l | 754 | logplain |
| -rw-r--r-- | unsaved-goals.l | 1279 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |