isabelle: Changelog

wenzelm [Thu, 18 Jun 2009 19:03:39 +0200] rev 31705

replaced java Properties by pure property lists; added offsets_of;

wenzelm [Thu, 18 Jun 2009 17:22:41 +0200] rev 31704

environment: keep original HOME and PATH (required for Cygwin integrity);

wenzelm [Thu, 18 Jun 2009 15:08:57 +0200] rev 31703

added toString;

wenzelm [Thu, 18 Jun 2009 15:02:53 +0200] rev 31702

jar: jvmpath wrapper (requires bash);

wenzelm [Thu, 18 Jun 2009 15:02:18 +0200] rev 31701

subSequence: bounds checking;

wenzelm [Thu, 18 Jun 2009 14:02:47 +0200] rev 31700

added reverse CharSequence;

haftmann [Thu, 18 Jun 2009 00:00:52 +0200] rev 31699

merged

haftmann [Wed, 17 Jun 2009 17:42:46 +0200] rev 31698

uncheck is liberal wrt. semityped terms

haftmann [Wed, 17 Jun 2009 17:42:41 +0200] rev 31697

stripped dead comment

haftmann [Wed, 17 Jun 2009 17:42:36 +0200] rev 31696

skip_proof where appropriate

isabelle