| Wed, 22 Jun 2011 13:45:32 -0700 | huffman | merged | changeset | files |
| Wed, 22 Jun 2011 13:30:28 -0700 | huffman | add HOLCF/ex/Concurrency_Monad.thy, which contains resumption/state/powerdomain monad example from my PhD thesis | changeset | files |
| Thu, 23 Jun 2011 17:17:40 +0200 | wenzelm | simplified arrangement of jars; | changeset | files |
| Thu, 23 Jun 2011 16:34:29 +0200 | wenzelm | adapted to Cygwin; | changeset | files |
| Thu, 23 Jun 2011 16:10:22 +0200 | wenzelm | provide Isabelle/Scala environment as Java extension, instead of user classpath | changeset | files |
| Thu, 23 Jun 2011 14:52:32 +0200 | wenzelm | explicit import java.lang.System to prevent odd scope problems; | changeset | files |
| Thu, 23 Jun 2011 14:48:32 +0200 | wenzelm | ensure export of initial CLASSPATH; | changeset | files |