In this version we have fixed several problems some of them have required
a theory revision. In few words the sources for this version are shorter,
but the system offer more functions.
Some important changes are:
The theory behind ManTa has been revised and the consequences are:
Minor changes in grammar:
Now an ADT without generators can be defined
Selectors can have empty domain (and they are used without () )
A selector can have any domain and any codomain
New semantic for restriction, direct sum, completation and variation
Representations are ADTs and now they work
More restrictions to ADT and functions names to avoid conflicts with EQUAL
An ADT header now can't have "=" followed by a description
Improvements in selectors definitions:
Each axiom has to be left linear
Each axiom has to be locally confluent
Each selector has to be a total function (Total covering)
Now it evaluates correctly if clauses. (it is not strict)
The EMACS interface works again. You can use EMACS 18.* or newer
Symbols name administration to avoid name conflicts
We also have used new tools and standards for development
New sources directory structure
Test program and test environment to ensure platform independence
Better tools to generate documentation and makefiles automatically
Version Control with RCS
Sources
The include compilation/instalation instructions and the user manual.
This version has been tested under Windows 95 with Cygnus C++,
DJGPP
2 y BC++, in old DOS (6.2) with DJGPP2
(with
CWSDPMI),
in Linux/Unix/Ultrix with gcc 2.6.3, 2.7.2, y 2.8.1.
