proof-general/etc/lego, branch masterEmacs plugins for proof management systemsUpdate copyright messages and improve the header of elisp files.2018-02-20T23:53:25+00:00Erik Martin-Dorel2017-08-12T11:48:08+00:004e0c2a00cfbb7ea5c5ab68573bfb0edb78e8bd6f
Refactor several variable names; clean up, doc subterm markup and output display.2002-07-16T23:11:42+00:00David Aspinall2002-07-16T23:11:42+00:000f4feea9ca0163946b2a971657b8e71c2931044d
Example of using pbp2002-07-16T10:47:51+00:00David Aspinall2002-07-16T10:47:51+00:0076dfd5bb2dc2db04a3e388d392958afc3d67f315
Error example from Randy, showing too much info was lost in output msgs.2000-03-08T08:57:37+00:00David Aspinall2000-03-08T08:57:37+00:00b21fc973b24e944eb412efdc924d31119d412328
proof-nested-goals-allowed -> proof-completed-proof-behaviour1999-11-14T10:09:08+00:00David Aspinall1999-11-14T10:09:08+00:007b6cbefc4b2343309df594b9ce074d5981c62c4b
Patch for more flexible handling of closing goal...save regions
after proof has been completed.
Patch for more flexible handling of closing goal...save regions
after proof has been completed.
Test case1999-11-13T13:52:52+00:00David Aspinall1999-11-13T13:52:52+00:0018de9e47c089594762123ef8f9a80428aba7eef8
Improved test file so that it works correctly with installed LEGO 1.3.11999-01-21T13:34:02+00:00Thomas Kleymann1999-01-21T13:34:02+00:0004403839fc16e53b0258d6da043aa1e7537de20c
added Solaris-specific path. Requires LEGO versions more recent than 1.3.11999-01-18T16:42:17+00:00Thomas Kleymann1999-01-18T16:42:17+00:00fca6147eee72f4c22421884100e5beca0f7e7f5a
does indeed crash Proof General, Version 2.1pre9901121999-01-18T16:06:35+00:00Thomas Kleymann1999-01-18T16:06:35+00:006cb8eb51d8a2106a85cf3205fbe0e6d490770c54
Name of proof-shell-restart was changed.1998-12-11T13:43:03+00:00David Aspinall1998-12-11T13:43:03+00:000c8ecb6a379b1594c7864d96e5a33ff1c1a6442b