From 948364c897f7efbdf83c02b675f8717509cc839c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 16 Sep 1998 15:29:32 +0000 Subject: 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-(. --- doc/dir | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 doc/dir (limited to 'doc/dir') 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" 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! -- cgit v1.2.3