| Thu, 23 Jun 2011 12:02:54 +0200 | ballarin | Release notes should be written from the user's perspective. Don't assume the user has universal knowledge of the system. | changeset | files |
| Wed, 22 Jun 2011 15:58:55 -0700 | huffman | generalize lemmas power_number_of_even and power_number_of_odd | changeset | files |
| 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 |