aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-easy-config.el
AgeCommit message (Collapse)Author
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2012-01-23make sure extra modes availableDavid Aspinall
2009-09-06TypoDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
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).
2004-04-15Comments.David Aspinall
2004-04-02More elaborate error messages in proof-easy-config-check-setup.David Aspinall
2004-03-30Add proof-assistant-symbol to (spurious) error msgDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-03-21Year changesDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2000-07-20fixed comment;Makarius Wenzel
2000-05-09Improve loadingDavid Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-04Update copyright dates, comments.David Aspinall
2000-03-10Added mechanism for setting font-lock-keywords uniformly fromDavid Aspinall
proof-script-font-lock-keywords, and modifying syntax table with proof-script-modify-syntax-table, etc.
1999-11-16Second version of easy-config, without defvaralias use.David Aspinall
1999-11-16Working version of easy-config.David Aspinall
1999-11-16Preliminary, not for 3.0.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:36:25 +0000