| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵ |  Christophe Raffalli | 2006-02-24 |
| | | | | | imporvment in proof by contextual menu | ||
| * | added lock and unlock for unification variables | Christophe Raffalli | 2005-10-12 |
| | | |||
| * | *** empty log message *** | Christophe Raffalli | 2005-07-05 |
| | | |||
| * | New files. |  David Aspinall | 2005-03-25 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |