wenzelm [Sun, 28 Nov 2010 18:31:54 +0100] rev 41042
basic setup for bundled Java runtime;
wenzelm [Sun, 28 Nov 2010 17:58:38 +0100] rev 41041
updated reference platforms;
huffman [Sun, 28 Nov 2010 08:41:16 -0800] rev 41040
merged
huffman [Sun, 28 Nov 2010 08:21:52 -0800] rev 41039
merged
huffman [Sun, 28 Nov 2010 07:29:32 -0800] rev 41038
change match_bottom_simps to produce if-then-else, making more uses of bottom-patterns work with fixrec
huffman [Sat, 27 Nov 2010 22:48:08 -0800] rev 41037
add lemma cont2cont_if_bottom
wenzelm [Sun, 28 Nov 2010 16:42:54 +0100] rev 41036
merged
wenzelm [Sun, 28 Nov 2010 16:35:56 +0100] rev 41035
more permissive Isabelle_System.mkdir;
exported File.is_dir (weak test);
wenzelm [Sun, 28 Nov 2010 16:15:31 +0100] rev 41034
added 'syntax_declaration' command;
wenzelm [Sun, 28 Nov 2010 15:34:35 +0100] rev 41033
more conventional exception propagation -- taking into account Simple_Thread.fork wrapping;