isabelle: Changelog

haftmann [Fri, 03 Jul 2009 16:51:06 +0200] rev 31932

avoid useless code equations

haftmann [Fri, 03 Jul 2009 08:51:34 +0200] rev 31931

restored subscripts

haftmann [Fri, 03 Jul 2009 08:44:13 +0200] rev 31930

lemma foldl_apply_inv

wenzelm [Sat, 04 Jul 2009 11:46:51 +0200] rev 31929

is_open: surrogate sequence is High..Low; added class Index for decoding offsets; tuned;

wenzelm [Fri, 03 Jul 2009 21:14:46 +0200] rev 31928

init/check Isabelle_System;

wenzelm [Fri, 03 Jul 2009 21:14:16 +0200] rev 31927

init isabelle home from existing setting or hint via system property;

wenzelm [Fri, 03 Jul 2009 20:37:14 +0200] rev 31926

more hgignore;

wenzelm [Fri, 03 Jul 2009 16:36:02 +0200] rev 31925

basic setup for Isabelle/JVM application bundle;

wenzelm [Fri, 03 Jul 2009 16:10:49 +0200] rev 31924

separate setup for App1;

wenzelm [Fri, 03 Jul 2009 10:54:26 +0200] rev 31923

SCALA_HOME: proper line escapes for choosefrom;

isabelle