Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated. | 2008-01-16 | |
| | |||
* | Many rearrangements for compatibility, efficient/correct compilation, ↵ | 2008-01-15 | |
| | | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | ||
* | Updated. | 2008-01-05 | |
| | |||
* | Updated. | 2007-12-13 | |
| | |||
* | Additions for maths menu | 2007-12-12 | |
| | |||
* | Add buffer history browsing | 2006-09-24 | |
| | |||
* | Updated. | 2005-05-17 | |
| | |||
* | Updated. | 2004-11-30 | |
| | |||
* | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | 2003-02-19 | |
| | |||
* | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | 2003-02-19 | |
| | | | | | | | | off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!). | ||
* | Add support for MMM mode | 2003-02-18 | |
| | |||
* | Autoload proof-definvisible | 2002-11-20 | |
| | |||
* | Updated. | 2002-11-20 | |
| | |||
* | Updated | 2002-08-15 | |
| | |||
* | Fix autoload for context menu; add proof-shell-show-dependency-cmd. | 2002-08-08 | |
| | |||
* | Updated | 2002-08-08 | |
| | |||
* | Updated | 2001-08-31 | |
| | |||
* | Regenerate to remove Christophes patch | 2001-08-01 | |
| | |||
* | *** empty log message *** | 2001-07-25 | |
| | |||
* | Refresh | 2001-07-09 | |
| | |||
* | Updated autoloads | 2001-07-09 | |
| | |||
* | Update autoloads. | 2000-07-12 | |
| | |||
* | Updated to add proof-next-error. | 2000-06-05 | |
| | |||
* | Updated | 2000-06-01 | |
| | |||
* | Updated | 2000-05-29 | |
| | |||
* | Fixup loading. | 2000-05-09 | |
| | |||
* | New files | 2000-05-09 | |