isabelle: Changelog

wenzelm [Sat, 29 Nov 2008 19:01:28 +0100] rev 28910

tuned;

wenzelm [Sat, 29 Nov 2008 18:26:53 +0100] rev 28909

basic setup of .hgignore;

wenzelm [Sat, 29 Nov 2008 18:19:59 +0100] rev 28908

further notes; tuned;

wenzelm [Sat, 29 Nov 2008 17:09:28 +0100] rev 28907

Important notes on Mercurial repository access for Isabelle.

nipkow [Sat, 29 Nov 2008 13:39:45 +0100] rev 28906

Floats for Real.

nipkow [Sat, 29 Nov 2008 13:39:23 +0100] rev 28905

new file float_syntax.ML

nipkow [Sat, 29 Nov 2008 13:37:13 +0100] rev 28904

New lexical item "float".

ballarin [Fri, 28 Nov 2008 17:43:06 +0100] rev 28903

Intro_locales_tac to simplify goals involving locale predicates.

ballarin [Fri, 28 Nov 2008 12:26:14 +0100] rev 28902

Ahere to modern naming conventions; proper treatment of internal vs external names.

kleing [Fri, 28 Nov 2008 11:55:46 +0100] rev 28901

added Tim's find_theorems performance patch

isabelle