diff options
Diffstat (limited to 'lang/twelf/pkg-descr')
-rw-r--r-- | lang/twelf/pkg-descr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/twelf/pkg-descr b/lang/twelf/pkg-descr index 433a4a2..df5296b 100644 --- a/lang/twelf/pkg-descr +++ b/lang/twelf/pkg-descr @@ -16,4 +16,3 @@ and Hilbert's deduction theorem. -- the Twelf home page WWW: http://www.cs.cmu.edu/~twelf -Maintainer: Andrew Bernard (andrewb@cs.cmu.edu) |