Information about recent changes to JastAddJ is now added to the http://jastadd.org web site. This includes information about the stable release branch and the Java 7 extension.
--Görel Hedin
Received on Mon Oct 15 2012 - 10:36:43 CEST
This archive was generated by hypermail 2.3.0
: Wed Apr 16 2014 - 17:19:06 CEST