- Updated full-maude to 2.4.
- Added program wrapper to set ${MAUDE_LIB} correctly.
- TODO: the documentation is still not quite up-to-date.
svn path=/nixpkgs/trunk/; revision=13303
TODO: The full-maude distribution is missing from the web site. The
expression installs 2.3j until that is fixed. Also, the documentation
that's installed isn't up-to-date yet, it's from version 2.3.
svn path=/nixpkgs/trunk/; revision=13285
This patch moves curly braces to the end of the line, i.e.
foo = {
...
};
instead of the previously used style:
foo =
{
...
};
I commit this change hoping that my contributions to this project now conform
to the rules described in maintainers/docs/coding-conventions.txt so that the
self-appointed indention sheriff of the NixOS community can finally get off my
back and rest assured knowing that all i's are dotted and all t's are crossed.
svn path=/nixpkgs/trunk/; revision=12386
