proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2003-02-26	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall
	branch.
2003-02-26	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall

2003-02-26	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall
	branch.
2003-02-26	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall

2003-02-26	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall
	branch.
2003-02-26	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall

2003-02-24	Updated.	David Aspinall

2003-02-24	Fix to shrink-windows-tofit	David Aspinall

2003-02-24	Install x-sym/mmm	David Aspinall

2003-02-24	Updated.	David Aspinall

2003-02-24	Documentation.	David Aspinall

2003-02-24	Updated.	David Aspinall

2003-02-24	Set version tag for new release.	David Aspinall

2003-02-24	Set x-symbol-data-directory	David Aspinall

2003-02-24	Fix proofdefinvisible, proofdefshortcut to work in compiled version	David Aspinall

2003-02-24	Add mmm and x-symbol	David Aspinall

2003-02-24	Fix some compile errors	David Aspinall

2003-02-22	Say Coq 7.4	David Aspinall

2003-02-22	Renamed file	David Aspinall

2003-02-22	Updated.	David Aspinall

2003-02-22	Set version tag for new release.	David Aspinall

2003-02-22	Deleting	David Aspinall

2003-02-22	Deleted file	David Aspinall

2003-02-22	Fixes to work with bundled version	David Aspinall

2003-02-22	Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)	David Aspinall

2003-02-22	Updated.	David Aspinall

2003-02-22	auto-coding-alist	David Aspinall

2003-02-22	New files.	David Aspinall

2003-02-22	Move x-sym config to x-symbol-isa.el	David Aspinall

2003-02-22	Move x-sym config to x-symbol-isar.el	David Aspinall

2003-02-22	Experiments with auto-style	David Aspinall

2003-02-22	Add code to use bundled version, commented out since broken.	David Aspinall

2003-02-21	X-Symbol version 4.45 beta	David Aspinall

2003-02-20	Updated.	David Aspinall

2003-02-20	Set version tag for new release.	David Aspinall

2003-02-20	corrected a bug of pg/coq, the following line was not recognized as a	Pierre Courtieu
	module start: Module M:T with Definition A:=u. I had to count the number of 'with' and ':=' to know if the last ':=' was a Module given explicitely (--> no module start) or only part of a 'with ...:=' (--> module start).
2003-02-19	Updated.	David Aspinall

2003-02-19	Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.	David Aspinall

2003-02-19	Documentation.	David Aspinall

2003-02-19	Docs; same safe-fail for MMM as X-Symbol.	David Aspinall

2003-02-19	Documentation.	David Aspinall

2003-02-19	Use bundled version off mmm first	David Aspinall

2003-02-19	This commit was manufactured by cvs2git to create branch 'xsym'.	cvs2git
	Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.ProofGeneral
2003-02-19	New files.	David Aspinall

2003-02-19	Renamed file	David Aspinall

2003-02-19	Updated.	David Aspinall

2003-02-19	New files.	David Aspinall

2003-02-19	Set version tag for new release.	David Aspinall

2003-02-19	Updated.	David Aspinall

2003-02-19	Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or	David 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!).