John Wiegley 10e215a3ae isabelle: Version 2014 building on Linux and Darwin		2014-09-30 23:15:31 -05:00
..
astronomy
biology
chemistry/avogadro
electronics	gtkwave: update from 3.3.61 to 3.3.62	2014-09-30 11:04:26 +01:00
geometry
logic	isabelle: Version 2014 building on Linux and Darwin	2014-09-30 23:15:31 -05:00
math	Update PARI	2014-09-24 13:32:46 +04:00
misc	Update golly	2014-09-24 14:07:00 +04:00
molecular-dynamics/gromacs
spyder