| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 813 | logplain |
| -rw-r--r-- | a1.v.orig | 881 | logplain |
| -rw-r--r-- | a2.v.orig | 860 | logplain |
| -rw-r--r-- | a3.v.orig | 881 | logplain |
| -rw-r--r-- | a4.v.orig | 860 | logplain |
| -rw-r--r-- | a5.v.orig | 860 | logplain |
| -rw-r--r-- | a6.v.orig | 860 | logplain |
| -rw-r--r-- | b1.v.orig | 646 | logplain |
| -rw-r--r-- | b2.v.orig | 646 | logplain |
| -rw-r--r-- | b3.v.orig | 646 | logplain |
| -rw-r--r-- | b4.v.orig | 646 | logplain |
| -rw-r--r-- | b5.v.orig | 646 | logplain |
| -rw-r--r-- | b6.v.orig | 646 | logplain |
| -rw-r--r-- | c1.v.orig | 646 | logplain |
| -rw-r--r-- | c2.v.orig | 646 | logplain |
| -rw-r--r-- | c3.v.orig | 646 | logplain |
| -rw-r--r-- | c4.v.orig | 646 | logplain |
| -rw-r--r-- | c5.v.orig | 646 | logplain |
| -rw-r--r-- | c6.v.orig | 646 | logplain |
| -rw-r--r-- | d1.v.orig | 628 | logplain |
| -rw-r--r-- | d2.v.orig | 628 | logplain |
| -rw-r--r-- | d3.v.orig | 628 | logplain |
| -rw-r--r-- | d4.v.orig | 628 | logplain |
| -rw-r--r-- | d5.v.orig | 628 | logplain |
| -rw-r--r-- | d6.v.orig | 627 | logplain |
| -rw-r--r-- | runtest.el | 7760 | logplain |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |