Michael Raskin d03599f8ce Adding TPTP ... svn path=/nixpkgs/trunk/; revision=27468		2011-06-15 10:35:18 +00:00
..
biology
electronics	Updating gtkwave	2011-03-22 11:36:58 +00:00
geometry
logic	Adding TPTP	2011-06-15 10:35:18 +00:00
math	wxmaxima: updated to version 11.04.0	2011-05-06 07:35:22 +00:00
misc
xplanet