blob: 2d5d899ee801d00dbf503b675cf25781df8b7360 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
$NetBSD: patch-ac,v 1.1 2003/07/07 23:33:50 seb Exp $
--- doc/info/twelf.info.orig 2002-12-28 02:39:40.000000000 +0000
+++ doc/info/twelf.info
@@ -1,5 +1,11 @@
This is twelf.info, produced by makeinfo version 4.2 from twelf.texi.
+INFO-DIR-SECTION Languages
+START-INFO-DIR-ENTRY
+* Twelf: (twelf). The Twelf meta-language for proving properties of
+ languages and logics.
+END-INFO-DIR-ENTRY
+
Indirect:
twelf.info-1: 71
|
