File: README

package info (click to toggle)
maude 2.7-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid, stretch
  • size: 11,380 kB
  • ctags: 8,646
  • sloc: cpp: 92,892; sh: 3,510; yacc: 1,442; makefile: 1,318; lex: 572
file content (11 lines) | stat: -rwxr-xr-x 397 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
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