proof-general/script-management.texinfo, branch master Emacs plugins for proof management systems Renamed for new subdirectory structure 1998-09-03T13:51:41+00:00 David Aspinall 1998-09-03T13:51:41+00:00 8b836f84d70fcea59ffa186f6809ebc6765b8a5f 






Typos and fixes in Walkthrough section.
1998-08-21T13:37:30+00:00

David Aspinall

1998-08-21T13:37:30+00:00

922e663ce8a160d5f5b04fb0e2725a37548bcab0












*** empty log message ***
1998-08-14T10:52:07+00:00

Thomas Kleymann

1998-08-14T10:52:07+00:00

3661528d9dbcbdb9b4ebbdac6d491b3e1f73c376












*** empty log message ***
1998-08-14T10:09:58+00:00

Thomas Kleymann

1998-08-14T10:09:58+00:00

384dea58f73d89d64688183a4be55a4267184636












*** empty log message ***
1998-08-07T15:34:42+00:00

Thomas Kleymann

1998-08-07T15:34:42+00:00

1ad05a7d629eb4240930ddc7b3a3e6f1828a1841












Supports official LEGO release 1.3
1998-07-27T15:39:57+00:00

Thomas Kleymann

1998-07-27T15:39:57+00:00

e1b55f8f678058f30fd22317b5215d539b836aa9












Added comment about C-c ' that it will switch to the scripting buffer.
1998-06-02T15:36:24+00:00

Healfdene Goguen

1998-06-02T15:36:24+00:00

fe55d5d746ffd7baeb0fae0485e629a6cc69e799












Added documentation for C-c C-s in Coq mode.
1998-05-12T14:53:38+00:00

Healfdene Goguen

1998-05-12T14:53:38+00:00

2abec1102c6d5c37890ac938e978e6fc0b7ab14a












Basic description of script management, in texinfo format.
1998-05-06T15:31:04+00:00

Healfdene Goguen

1998-05-06T15:31:04+00:00

9bf10d027b3df65950c43f7e6e19ab7e5b491650