isabelle: Changelog

haftmann [Wed, 14 Mar 2012 15:24:51 +0100] rev 46931

rudimentary distribution build configuration

haftmann [Wed, 14 Mar 2012 15:24:07 +0100] rev 46930

support for non-HTTP repository locations (important for mira); quasi-hardwired repository name

haftmann [Wed, 14 Mar 2012 14:53:48 +0100] rev 46929

corrected slip

paulson [Wed, 14 Mar 2012 12:39:26 +0000] rev 46928

merged

paulson [Wed, 14 Mar 2012 12:39:04 +0000] rev 46927

rationalising the induction rule trans_induct3

haftmann [Wed, 14 Mar 2012 12:20:42 +0100] rev 46926

allow modification of REPOS_NAME and REPOS from outside

wenzelm [Wed, 14 Mar 2012 20:34:20 +0100] rev 46925

locale expressions without source positions;

wenzelm [Wed, 14 Mar 2012 19:27:15 +0100] rev 46924

tuned;

wenzelm [Wed, 14 Mar 2012 18:09:05 +0100] rev 46923

tuned messages;

wenzelm [Wed, 14 Mar 2012 17:52:38 +0100] rev 46922

source positions for locale and class expressions;

isabelle