K 10
svn:author
V 9
scheidell
K 8
svn:date
V 27
2011-12-03T20:41:56.000000Z
K 7
svn:log
V 506
- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer

PR:		ports/162955
Submitted by:	joemann@beefree.free.de
Reviewed by:	info@rickvanderzwet.nl
Approved by:	maintainer, gabor(mentor)
Feature safe:	yes

END
