Eelco Dolstra b61d3ab317 * Typo in attribute. This broke --meta --xml evaluation. ... svn path=/nixpkgs/trunk/; revision=27142		2011-05-04 12:45:05 +00:00
..
biology	* More cleanup.	2010-07-28 18:01:17 +00:00
electronics	Updating gtkwave	2011-03-22 11:36:58 +00:00
geometry	Fix DrGeo build	2010-11-19 04:07:34 +00:00
logic	Update HOL Light to r89	2011-04-21 14:39:29 +00:00
math	* Typo in attribute. This broke --meta --xml evaluation.	2011-05-04 12:45:05 +00:00
misc	SimGrid 3.5.	2010-12-17 17:48:12 +00:00
xplanet	* Build on GCC 4.4.	2010-01-26 15:27:18 +00:00