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 | 923 | logplain |
d--------- | multiple | 158 | logplain |
-rw-r--r-- | unsaved-goals.l | 1279 | logplain |
index : proof-general | ||
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
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 | 923 | logplain |
d--------- | multiple | 158 | logplain |
-rw-r--r-- | unsaved-goals.l | 1279 | logplain |