Vincent Laporte 694a5ba291 eprover: fix build on Darwin		2016-02-29 15:35:40 +01:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	eprover: fix build on Darwin	2016-02-29 15:35:40 +01:00
math	Remove all dots at end of descriptions	2016-02-27 17:30:29 +00:00
misc
molecular-dynamics/gromacs
programming/plm
spyder