| Sat, 21 Jul 2012 10:55:42 +0200 | bulwahn | restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs | changeset | files |
| Sat, 21 Jul 2012 10:53:26 +0200 | bulwahn | handling partiality in the case where the equality optimisation is applied | changeset | files |
| Fri, 20 Jul 2012 23:38:15 +0200 | wenzelm | merged | changeset | files |
| Fri, 20 Jul 2012 23:37:54 +0200 | wenzelm | updated File.find_files; | changeset | files |
| Fri, 20 Jul 2012 23:16:54 +0200 | wenzelm | more abstract file system operations in Scala, corresponding to ML version; | changeset | files |
| Fri, 20 Jul 2012 22:39:59 +0200 | wenzelm | eliminated obsolete session_manager.scala; | changeset | files |
| Fri, 20 Jul 2012 22:29:25 +0200 | wenzelm | more explicit java.io.{File => JFile}; | changeset | files |