Michael Raskin 1c3434cc16 Update E prover		2012-12-09 00:36:38 +04:00
..
astronomy
biology	Remove a bunch of unreferenced files	2012-11-29 13:43:37 +01:00
chemistry/avogadro
electronics	Fix tarball	2012-11-26 20:31:45 -05:00
geometry
logic	Update E prover	2012-12-09 00:36:38 +04:00
math
misc	Update golly	2012-12-04 10:10:28 +04:00
molecular-dynamics/gromacs