Michael Raskin 6944de0f94 Updating EProver to 1.8		2013-10-20 21:03:04 +04:00
..
astronomy	gravit: enable PNG support	2013-09-17 11:53:27 +02:00
biology	Some description fixes	2013-10-05 19:36:23 +02:00
chemistry/avogadro	Fix a bunch of Hydra evaluation errors	2013-10-07 17:36:47 +02:00
electronics	More description fixes	2013-10-06 12:01:38 +02:00
geometry
logic	Updating EProver to 1.8	2013-10-20 21:03:04 +04:00
math	wxmaxima: update to version 13.04.2	2013-10-13 00:39:06 +02:00
misc
molecular-dynamics/gromacs
spyder