| Thu, 12 Apr 2012 23:07:01 +0200 | krauss | Set_Algebras: removed syntax \<oplus> and \<otimes>, in favour of plain + and * | changeset | files |
| Thu, 12 Apr 2012 22:55:11 +0200 | krauss | removed "setsum_set", now subsumed by generic setsum | changeset | files |
| Thu, 12 Apr 2012 19:58:59 +0200 | krauss | backported Set_Algebras to use type classes (basically reverting b3e8d5ec721d from 2008) | changeset | files |
| Thu, 12 Apr 2012 23:04:51 +0200 | wenzelm | tuned README; | changeset | files |
| Thu, 12 Apr 2012 23:03:25 +0200 | wenzelm | direct scala toplevel tools to ISABELLE_JDK_HOME; | changeset | files |
| Thu, 12 Apr 2012 22:59:00 +0200 | wenzelm | simplified component structure; | changeset | files |
| Thu, 12 Apr 2012 19:48:23 +0200 | wenzelm | merged | changeset | files |