Damien Cassou e7a161d4f2 New package PLM: Programmer's Learning Machine		2015-02-13 16:06:19 +01:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	Why3: build also the Coq tactic.	2015-01-29 08:43:15 +01:00
math
misc
molecular-dynamics/gromacs
programming/plm	New package PLM: Programmer's Learning Machine	2015-02-13 16:06:19 +01:00
spyder