Lluís Batlle i Rossell 4fc8cd8d35 Adding gtkwave, to view waves generated by ghdl. ... svn path=/nixpkgs/trunk/; revision=19065		2009-12-21 10:35:50 +00:00
..
biology
electronics	Adding gtkwave, to view waves generated by ghdl.	2009-12-21 10:35:50 +00:00
geometry/drgeo
logic	Add expression for Isabelle2009	2009-12-11 17:00:52 +00:00
math	adding libxcursor dependency	2009-12-14 00:14:55 +00:00
xplanet