diff options
Diffstat (limited to 'lang/twelf/pkg-descr')
| -rw-r--r-- | lang/twelf/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/twelf/pkg-descr b/lang/twelf/pkg-descr index f32f99997930..433a4a2c6183 100644 --- a/lang/twelf/pkg-descr +++ b/lang/twelf/pkg-descr @@ -1,4 +1,3 @@ - The Twelf implementation comprises * the LF logical framework, including type reconstruction; @@ -17,3 +16,4 @@ and Hilbert's deduction theorem. -- the Twelf home page WWW: http://www.cs.cmu.edu/~twelf +Maintainer: Andrew Bernard (andrewb@cs.cmu.edu) |