|
astronomy
|
xplanet: pass netpbm, edit meta
|
2012-02-19 09:22:20 +00:00 |
|
biology
|
Try to update slr
|
2012-03-16 17:15:52 +00:00 |
|
chemistry/avogadro
|
Fix compilation with qt-4.8
|
2012-01-14 18:03:41 +00:00 |
|
electronics
|
Gtkwave needs the xz libraries to build.
|
2012-02-26 21:02:03 +00:00 |
|
logic
|
Upgrading HOL4 to version k.7.
|
2012-03-20 19:11:22 +00:00 |
|
math
|
Adding GAP discrete algebra system
|
2012-03-08 18:23:47 +00:00 |
|
misc
|
Update and fix Tulip
|
2012-02-27 07:10:05 +00:00 |
