isabelle: Changelog

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;

wenzelm [Fri, 03 Jul 2009 00:15:59 +0200] rev 31922

allow reloading of settings within JVM process;

wenzelm [Fri, 03 Jul 2009 00:10:19 +0200] rev 31921

Isabelle application wrapper for windows.

isabelle