diff options
Diffstat (limited to 'lang/maude/pkg-descr')
-rw-r--r-- | lang/maude/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lang/maude/pkg-descr b/lang/maude/pkg-descr index a7cf187e67ee..9124e6054b05 100644 --- a/lang/maude/pkg-descr +++ b/lang/maude/pkg-descr @@ -21,5 +21,3 @@ metalanguage applications. Indeed, some of the most interesting applications of Maude are metalanguage applications, in which Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation. - -WWW: http://maude.cs.uiuc.edu/ |