aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-autoloads.el
AgeCommit message (Collapse)Author
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
2008-01-05Updated.David Aspinall
2007-12-13Updated.David Aspinall
2007-12-12Additions for maths menuDavid Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2005-05-17Updated.David Aspinall
2004-11-30Updated.David Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
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!).
2003-02-18Add support for MMM modeDavid Aspinall
2002-11-20Autoload proof-definvisibleDavid Aspinall
2002-11-20Updated.David Aspinall
2002-08-15UpdatedDavid Aspinall
2002-08-08Fix autoload for context menu; add proof-shell-show-dependency-cmd.David Aspinall
2002-08-08UpdatedDavid Aspinall
2001-08-31UpdatedDavid Aspinall
2001-08-01Regenerate to remove Christophes patchDavid Aspinall
2001-07-25*** empty log message ***Christophe Raffalli
2001-07-09RefreshDavid Aspinall
2001-07-09Updated autoloadsDavid Aspinall
2000-07-12Update autoloads.David Aspinall
2000-06-05Updated to add proof-next-error.David Aspinall
2000-06-01UpdatedDavid Aspinall
2000-05-29UpdatedDavid Aspinall
2000-05-09Fixup loading.David Aspinall
2000-05-09New filesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 07:55:18 +0000