diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 00:12:00 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:23:29 +0200 |
| commit | 8e6a504ccf99da11044b901c5450ed97ca43c725 (patch) | |
| tree | 7f35fd20308db3b8711e81e9b694aa4401d1f29e /doc/dir | |
| parent | 14d1e38c2be8e1b366c27cd53a35180de7982dc4 (diff) | |
Update Info dir file (so there’s no unwanted line break)
Diffstat (limited to 'doc/dir')
| -rw-r--r-- | doc/dir | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -1,4 +1,3 @@ -$Id$ This is the file .../info/dir, which contains the topmost node of the Info hierarchy. The first time you invoke Info you start off looking at that node, which is (dir)Top. @@ -16,5 +15,5 @@ File: dir Node: Top This is the top of the INFO tree * Menu: Theorem proving -* Proof General: (ProofGeneral). Organize your proofs with Emacs! -* Adapting Proof General: (PG-adapting). Adapt Proof General to new provers +* ProofGeneral: (ProofGeneral). Organize your proofs with Emacs! +* Adapting PG: (PG-adapting). Adapt Proof General to new provers |