| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Removed support for x-symbol (I do not like it because it changes the buffer ... |  Christophe Raffalli | 2009-09-01 |
| * | back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ... | Christophe Raffalli | 2006-02-24 |
| * | 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 |