GitHub - maude-team/maude: This repository contains the Maude 2 interpreter source tree.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
autom4te.cache		autom4te.cache
src		src
tests		tests
.gitignore		.gitignore
AUTHORS		AUTHORS
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
aclocal.m4		aclocal.m4
compile		compile
config.guess		config.guess
config.h.in		config.h.in
config.sub		config.sub
configure		configure
configure.ac		configure.ac
depcomp		depcomp
install-sh		install-sh
missing		missing
mkinstalldirs		mkinstalldirs
test-driver		test-driver

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