proof-general/etc/lego/multiple, branch master Emacs plugins for proof management systems Name of proof-shell-restart was changed. 1998-12-11T13:43:03+00:00 David Aspinall 1998-12-11T13:43:03+00:00 0c8ecb6a379b1594c7864d96e5a33ff1c1a6442b 






Added new case of retracting across file boundaries to a buffer with
1998-10-23T13:15:03+00:00

Thomas Kleymann

1998-10-23T13:15:03+00:00

6544813185801185466f0ef00a37de620a76c7cd

more than on ACS. Also improved presentation.





more than on ACS. Also improved presentation.







*** empty log message ***
1998-10-18T12:45:03+00:00

Thomas Kleymann

1998-10-18T12:45:03+00:00

b7da9fdb9ad58a645d399a05a1c75b94733302d3