| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Tidy whitespace |  David Aspinall | 2009-09-05 |
| | | |||
| * | Removed support for x-symbol (I do not like it because it changes the buffer ↵ |  Christophe Raffalli | 2009-09-01 |
| | | | | | | | | | content !) sym-lock is still available on xemacs only various other bug fix. | ||
| * | 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 |