This package contains the documentation of Maria, a reachability
analyzer for algebraic system nets, both in the formats info and html.
Maria NEWS -- history of user-visible changes. 29th July 2005
Copyright � 2002,2003,2004,2005 Marko M�kel�
See the end for copying conditions.
* Maria 1.3.5 is a maintenance release with performance and portability fixes
** Identified performance bottlenecks with OProfile on GNU/Linux x86
*** Wrote non-looping log() functions for systems with 32-bit card_t.
The function is 2 to 3 times faster
This package was debianized by Ralf Treinen <firstname.lastname@example.org> on
Fri, 2 Aug 2002 22:20:09 +0200.
It was downloaded from http://www.tcs.hut.fi/Software/maria/src/
Upstream Author: Marko Mäkelä <email@example.com>
Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 Marko Mäkelä
Maria, with the exception of the maria-vis script, is covered by the