Peter Simons 3806050f60 gravit: enable support for lua 5.0.x ... The build doesn't work with the latest version 5.1.x. Upstream is going to release an update to fix this soon. svn path=/nixpkgs/trunk/; revision=27693		2011-07-10 14:04:24 +00:00
..
astronomy	gravit: enable support for lua 5.0.x	2011-07-10 14:04:24 +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	Adding TPTP	2011-06-15 10:35:18 +00:00
math	Added Eukleides, a geometry drawing language.	2011-07-07 21:53:21 +00:00
misc	Make tulip run without hassle. Unfortunately, some operations repeatably crash tulip even when built vs Qt4.6	2011-07-01 09:53:11 +00:00