| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | GoalGoal.l | 357 | logplain |
| -rw-r--r-- | lego-site.el | 1006 | logplain |
| -rw-r--r-- | long-line-backslash.l | 880 | logplain |
| d--------- | multiple | 158 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |