proof-general/doc/dir, branch master Emacs plugins for proof management systems Update Info dir file (so there’s no unwanted line break) 2018-08-22T23:23:29+00:00 Erik Martin-Dorel 2018-08-22T22:12:00+00:00 8e6a504ccf99da11044b901c5450ed97ca43c725 






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

David Aspinall

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

17dd957785be01704d5abe4ad17ca2f9c03b3d43












Add PG adapting.
2002-08-27T11:46:42+00:00

David Aspinall

2002-08-27T11:46:42+00:00

27882c226926ba8dbb83ecfca961f3498ab7f0e4












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-(.