diff options
| author | David Aspinall | 1998-09-16 15:29:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-16 15:29:32 +0000 |
| commit | 948364c897f7efbdf83c02b675f8717509cc839c (patch) | |
| tree | c5b01c650919ef2733f7718c0309f2d13e48f89f | |
| parent | 6074ca55c0285c5153dc139191cf94149b59cea8 (diff) | |
Info directory entries for FSF and XEmacs.
Tested with both. Incredibly difficult to get right.
localdir is better with XEmacs, but it will use dir in preference, 8-(.
| -rw-r--r-- | doc/dir | 19 | ||||
| -rw-r--r-- | doc/localdir | 2 |
2 files changed, 21 insertions, 0 deletions
diff --git a/doc/dir b/doc/dir new file mode 100644 index 00000000..fb63c6dc --- /dev/null +++ b/doc/dir @@ -0,0 +1,19 @@ +$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. + +File: dir Node: Top This is the top of the INFO tree + + This (the Directory node) gives a menu of major topics. + Typing "q" exits, "?" lists all Info commands, "d" returns here, + "h" gives a primer for first-timers, + "mEmacs<Return>" visits the Emacs topic, etc. + + In Emacs, you can click mouse button 2 on a menu item or cross reference + to select it. + +* Menu: + +Theorem proving +* ProofGeneral:: Organize your proofs with Emacs! diff --git a/doc/localdir b/doc/localdir new file mode 100644 index 00000000..77b71f3d --- /dev/null +++ b/doc/localdir @@ -0,0 +1,2 @@ +Theorem proving +* ProofGeneral:: Organize your proofs with Emacs! |