proof-general/doc/.cvsignore, branch master Emacs plugins for proof management systems gitignore for doc subdir 2016-10-27T07:26:40+00:00 Hendrik Tews 2016-10-26T08:00:25+00:00 8a7eecfa71e850e479822d879e3263c9ce5f2ede 






- move proof-no-fully-processed-buffer to generic/proof-config
2011-01-14T15:50:47+00:00

Hendrik Tews

2011-01-14T15:50:47+00:00

05f9272860f9f57e6adfa150734ea7aa29702ca7

- add documentation for it
- add a test case demonstrating it in
  coq/ex/test-cases/retract-completely-asserted





- add documentation for it
- add a test case demonstrating it in
  coq/ex/test-cases/retract-completely-asserted







New subdirs for html
2007-06-19T12:16:42+00:00

David Aspinall

2007-06-19T12:16:42+00:00

ed4cb92674704fac386cbe418397ee7e78c1adb7












Split manual into two parts.
2000-08-28T12:32:59+00:00

David Aspinall

2000-08-28T12:32:59+00:00

1d677e46e12f4e243b89478f84b47bfdf96b3c14

Added notes about find theorems trick of separating constants by comma
for Isabelle.  Made for version 99-1.

Improved documentation for urgent messages, including recent
additions.  Mentioned new high-level macros proof-defshortcut,
proof-definvisible.





Added notes about find theorems trick of separating constants by comma
for Isabelle.  Made for version 99-1.

Improved documentation for urgent messages, including recent
additions.  Mentioned new high-level macros proof-defshortcut,
proof-definvisible.







Updated
1999-11-22T17:55:56+00:00

David Aspinall

1999-11-22T17:55:56+00:00

1cb4b2c69018664157e7038355c95d17fe058f71












Updated
1999-11-19T19:22:05+00:00

David Aspinall

1999-11-19T19:22:05+00:00

ec3de09bdb3b3ddb6504232609a4a7b8c46cce78












updated
1999-06-30T13:50:11+00:00

David Aspinall

1999-06-30T13:50:11+00:00

af6dbb36ead642ca9ea346fbb6ac18d980280704












Updated.
1999-06-28T18:11:05+00:00

David Aspinall

1999-06-28T18:11:05+00:00

da3ff0ce04613752aac7559ba6d12bc884d76340












Updated
1999-06-28T14:05:50+00:00

David Aspinall

1999-06-28T14:05:50+00:00

a6b9bd585faed3976649d762dfda906a027ff4aa












Fixed.
1999-03-08T14:30:40+00:00

David Aspinall

1999-03-08T14:30:40+00:00

25771d50dd03b2831db0f236ade7860ca412e67f