isabelle: Changelog

haftmann [Sat, 07 Jun 2014 08:16:03 +0200] rev 57185

tuned

haftmann [Sat, 07 Jun 2014 08:16:03 +0200] rev 57184

avoid odd Named_Target.reinit altogether

haftmann [Sat, 07 Jun 2014 08:16:03 +0200] rev 57183

clarified terminology: toplevel is interwined with named targets in particular, not with local theories in general

haftmann [Sat, 07 Jun 2014 08:16:03 +0200] rev 57182

less baroque interface

haftmann [Fri, 06 Jun 2014 19:19:46 +0200] rev 57181

dropped obscure and unused ad-hoc before_exit hook for named targets

nipkow [Fri, 06 Jun 2014 12:36:06 +0200] rev 57180

added lemma

noschinl [Thu, 05 Jun 2014 14:37:44 +0200] rev 57179

mira: USER_HOME must exist for building JEdit documentation

nipkow [Fri, 06 Jun 2014 10:53:33 +0200] rev 57178

added lemmas

haftmann [Thu, 05 Jun 2014 19:39:38 +0200] rev 57177

sharpened criterion: bare named target is only at the bottom level

haftmann [Thu, 05 Jun 2014 19:39:35 +0200] rev 57176

tuned

isabelle