2010-08-25 bulwahn [Wed, 25 Aug 2010 16:59:50 +0200] rev 38731
invocation of values for prolog execution does not require invocation of code_pred anymore
src/HOL/Library/Code_Prolog.thy src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy src/HOL/Predicate_Compile_Examples/Hotel_Example.thy src/HOL/Tools/Predicate_Compile/code_prolog.ML src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML

2010-08-25 bulwahn [Wed, 25 Aug 2010 16:59:49 +0200] rev 38730
adding hotel keycard example for prolog generation
src/HOL/IsaMakefile src/HOL/Predicate_Compile_Examples/Hotel_Example.thy src/HOL/Predicate_Compile_Examples/ROOT.ML

2010-08-25 bulwahn [Wed, 25 Aug 2010 16:59:48 +0200] rev 38729
improving output of set comprehensions; adding style_check flags
src/HOL/Tools/Predicate_Compile/code_prolog.ML

2010-08-25 bulwahn [Wed, 25 Aug 2010 16:59:48 +0200] rev 38728
improving ensure_groundness in prolog generation; added further example
src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy src/HOL/Tools/Predicate_Compile/code_prolog.ML

2010-08-25 bulwahn [Wed, 25 Aug 2010 16:59:46 +0200] rev 38727
adding very basic transformation to ensure groundness before negations
src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy src/HOL/Tools/Predicate_Compile/code_prolog.ML

2010-08-26 wenzelm [Thu, 26 Aug 2010 11:31:21 +0200] rev 38726
Markup_Tree.select: uniform treatment of root_range wrt. singularities, yielding empty result stream;
src/Pure/PIDE/markup_tree.scala

2010-08-26 wenzelm [Thu, 26 Aug 2010 11:29:43 +0200] rev 38725
tuned signature;
src/Pure/PIDE/text.scala

2010-08-25 wenzelm [Wed, 25 Aug 2010 22:57:40 +0200] rev 38724
Pretty: tuned markup objects;
src/Pure/General/markup.scala src/Pure/General/pretty.scala

2010-08-25 wenzelm [Wed, 25 Aug 2010 22:45:24 +0200] rev 38723
tuned;
src/Pure/PIDE/command.scala

2010-08-25 wenzelm [Wed, 25 Aug 2010 22:37:53 +0200] rev 38722
organized markup properties via apply/unapply patterns;
src/Pure/General/markup.scala src/Pure/General/position.scala src/Pure/PIDE/command.scala src/Pure/System/session.scala src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala