Commit graph

11 commits

Author SHA1 Message Date
Eelco Dolstra e31341510d * Merged from the trunk. Let's see how well this works with
Subversion 1.5...

svn path=/nixpkgs/branches/stdenv-updates/; revision=13601
2008-12-10 09:59:21 +00:00
Peter Simons c2417256a8 Finalized maude 2.4 release.
- 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
2008-11-14 22:53:09 +00:00
Peter Simons 893757cfd9 Updated maude to 2.4 release.
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
2008-11-13 19:35:48 +00:00
Peter Simons 0eed283de0 maudeUnstable: updated to alpha91d
svn path=/nixpkgs/trunk/; revision=13227
2008-11-07 22:46:03 +00:00
Peter Simons f1328839d4 maudeUnstable: updated full-maude to latest alpha release
svn path=/nixpkgs/trunk/; revision=13017
2008-10-09 10:10:49 +00:00
Peter Simons 884f30e61f maude: update unstable version to 2.4 alpha 91c
svn path=/nixpkgs/trunk/; revision=12920
2008-09-25 21:37:59 +00:00
Peter Simons 656127373d maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now.
svn path=/nixpkgs/trunk/; revision=12890
2008-09-19 10:06:58 +00:00
Peter Simons a16eebd0a6 Cosmetic, no functional change intended.
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
2008-07-18 20:11:25 +00:00
Peter Simons 057bd7c1c2 maude: build of unstable beta version because it has less bugs in full-maude
svn path=/nixpkgs/trunk/; revision=12385
2008-07-18 20:11:12 +00:00
Peter Simons b64e42ce35 added maude beta version
svn path=/nixpkgs/trunk/; revision=12384
2008-07-18 20:11:02 +00:00
Peter Simons 8d7fe32a0e maude, tecla, buddy: new packages
Maude is a high-level specification language. Buddy and libtecla are required
to build Maude.

svn path=/nixpkgs/trunk/; revision=12358
2008-07-15 09:58:30 +00:00