proof-general/doc/localdir, branch master Emacs plugins for proof management systems Update dir entries, remove localdir file 2002-08-28T17:58:27+00:00 David Aspinall 2002-08-28T17:58:27+00:00 c6990e8fdb723f3aa4f746e2a424f57bd592d236 






Tweak
2002-08-27T11:47:44+00:00

David Aspinall

2002-08-27T11:47:44+00:00

17dd957785be01704d5abe4ad17ca2f9c03b3d43












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.







Fixup for filename
1998-12-16T18:49:24+00:00

David Aspinall

1998-12-16T18:49:24+00:00

e2525601783f88690317d3768fd69cec41fc2f76












Info directory entries for FSF and XEmacs.
1998-09-16T15:29:32+00:00

David Aspinall

1998-09-16T15:29:32+00:00

948364c897f7efbdf83c02b675f8717509cc839c

Tested with both.  Incredibly difficult to get right.
localdir is better with XEmacs, but it will use dir in preference, 8-(.





Tested with both.  Incredibly difficult to get right.
localdir is better with XEmacs, but it will use dir in preference, 8-(.