MONA Version 1.4
Copyright (C) 1997-2016 Aarhus University.

[The 'Mem/dlmalloc.*' are the memory management
routines of Doug Lea ([email protected]) and are 
not covered by the Aarhus University copyright.]

Please read the file 'COPYING' before you use MONA.
To compile and install, see the file 'INSTALL'.

The 'MONA Version 1.4 User Manual' is available from the MONA homepage.

Information about the Graphviz tool for visualization of DFAs 
can be found at http:https://www.graphviz.org/.

A simple Emacs MONA mode is available in this package. 
See 'mona-mode.el' for further information.

The directory 'Lib' contains libraries for using the external
automaton format and some example applications.
The directory 'Examples' contains the MONA programs shown in the
manual and some example applications of the BDD, DFA and GTA packages
using the internal representation.

If you have any problems or questions about the source code, 
please send email to 
  
  [email protected] 

or visit the MONA homepage at 

  http:https://www.brics.dk/mona