-
Notifications
You must be signed in to change notification settings - Fork 6
This repository contains the Maude 2 interpreter source tree.
License
maude-team/maude
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
This directory contains the Maude 2 interpreter source tree. Copyright 1997-2014 SRI International, Menlo Park, CA 94025, USA. The Maude 2 interpreter is free software. See the file COPYING for copying permission. For documentation and examples, see the Maude website: http://maude.cs.uiuc.edu/ For help using Maude 2: maude-help@maude.cs.uiuc.edu Report bugs to: maude-bugs@maude.cs.uiuc.edu
About
This repository contains the Maude 2 interpreter source tree.