astronomy
|
gravit: cosmetic
|
2011-11-08 10:01:14 +00:00 |
biology
|
* More cleanup.
|
2010-07-28 18:01:17 +00:00 |
chemistry/avogadro
|
Fix typo in URL
|
2011-08-15 23:39:11 +00:00 |
electronics
|
Adding GNU archimedes.
|
2012-01-12 19:23:47 +00:00 |
geometry
|
Fix DrGeo build
|
2010-11-19 04:07:34 +00:00 |
logic
|
Update HOL Light to rev 118
|
2012-01-10 16:12:11 +00:00 |
math
|
maxima: updated to version 5.26.0
|
2011-12-22 12:30:19 +00:00 |