|
3.08.0.nix
|
* Get rid of all references to nix.cs.uu.nl.
|
2008-11-14 16:57:19 +00:00 |
|
3.09.1.nix
|
Merged with trunk.
|
2007-11-16 21:05:15 +00:00 |
|
3.10.0.nix
|
* layout changes
|
2008-06-04 14:03:20 +00:00 |
|
3.11.1.nix
|
fix my wrong opplication of the patch
|
2009-06-26 17:00:02 +00:00 |
|
builder.sh
|
* "." -> "source".
|
2005-12-05 14:11:09 +00:00 |
|
configure-3.08.0
|
fixed ocaml/qcmm problem:
|
2006-03-01 09:18:22 +00:00 |
|
configure-3.09.1
|
disabled sharpbang test
|
2007-03-28 17:49:51 +00:00 |
