Michael Scheidell 67fac3c3e7 - 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		2011-12-03 20:41:56 +00:00
..
patch-src__Main__main.cc
patch-src__Mixfix__global.cc
patch-src__Mixfix__global.hh