aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-autoloads.el
AgeCommit message (Expand)Author
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
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
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-01-31 13:13:53 +0000