Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Reduce compiler warnings. Minor fixes. | David Aspinall | 2008-01-16 |
* | Compilation tweaks | David Aspinall | 2008-01-16 |
* | Updated. | David Aspinall | 2008-01-16 |
* | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall | 2008-01-15 |
* | Updated. | David Aspinall | 2008-01-05 |
* | Updated. | David Aspinall | 2007-12-13 |
* | Additions for maths menu | David Aspinall | 2007-12-12 |
* | Add buffer history browsing | David Aspinall | 2006-09-24 |
* | Updated. | David Aspinall | 2005-05-17 |
* | Updated. | David Aspinall | 2004-11-30 |
* | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | David Aspinall | 2003-02-19 |
* | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | 2003-02-19 |
* | Add support for MMM mode | David Aspinall | 2003-02-18 |
* | Autoload proof-definvisible | David Aspinall | 2002-11-20 |
* | Updated. | David Aspinall | 2002-11-20 |
* | Updated | David Aspinall | 2002-08-15 |
* | Fix autoload for context menu; add proof-shell-show-dependency-cmd. | David Aspinall | 2002-08-08 |
* | Updated | David Aspinall | 2002-08-08 |
* | Updated | David Aspinall | 2001-08-31 |
* | Regenerate to remove Christophes patch | David Aspinall | 2001-08-01 |
* | *** empty log message *** | Christophe Raffalli | 2001-07-25 |
* | Refresh | David Aspinall | 2001-07-09 |
* | Updated autoloads | David Aspinall | 2001-07-09 |
* | Update autoloads. | David Aspinall | 2000-07-12 |
* | Updated to add proof-next-error. | David Aspinall | 2000-06-05 |
* | Updated | David Aspinall | 2000-06-01 |
* | Updated | David Aspinall | 2000-05-29 |
* | Fixup loading. | David Aspinall | 2000-05-09 |
* | New files | David Aspinall | 2000-05-09 |