proof-general/doc/Makefile, branch master Emacs plugins for proof management systems Fix emails 2011-05-05T17:46:27+00:00 David Aspinall 2011-05-05T17:46:27+00:00 5d365aae783eda5079e352375fd62866992525c4 






Remove mention of dvi
2011-05-05T17:45:55+00:00

David Aspinall

2011-05-05T17:45:55+00:00

0f04a21274086f1438aa1598c11437c405ad248f












Include proofgeneral.1 target.  Fix make->(MAKE)
2005-08-10T13:05:55+00:00

David Aspinall

2005-08-10T13:05:55+00:00

444bca102591b8c6b57714e781a68b74bf292d47












Add man page, remove ps file from distrib.
2004-02-29T23:54:11+00:00

David Aspinall

2004-02-29T23:54:11+00:00

435087a02c94f7a1711825a263268799388dfeca












Add default target
2000-09-28T12:11:35+00:00

David Aspinall

2000-09-28T12:11:35+00:00

53a1fb897b8ca95c20d0d4dd54da412445a781bb












Make PG-adapting first so index.html left pointing to main manual
2000-09-21T16:57:03+00:00

David Aspinall

2000-09-21T16:57:03+00:00

65e1d85aa03563c8ef25a87babb62367806c1352












Fix recursive make
2000-08-28T15:13:27+00:00

David Aspinall

2000-08-28T15:13:27+00:00

7600f85e72f8d863b46088690cca75aa47d7ee82












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.







Added default target
2000-05-09T09:42:25+00:00

David Aspinall

2000-05-09T09:42:25+00:00

ca2f596b19b8966d734323db250d49c0d982d224












Added index.html link.
1999-11-26T14:16:15+00:00

David Aspinall

1999-11-26T14:16:15+00:00

2390a53b72fc30e5acfa46854005be7b2a7211e2