isabelle: Changelog

eliminated Unsynchronized.ref in favour of configuration option; proper naming of thy: theory vs. ctxt: Proof.context; recovered some Isabelle/ML indendation style;

Fri, 27 Aug 2010 17:11:29 +0200 more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs');

changeset

wenzelm [Fri, 27 Aug 2010 17:11:29 +0200] rev 38806

more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs');

Fri, 27 Aug 2010 17:09:18 +0200 Sum_Of_Squares: proper configuration options;

changeset

wenzelm [Fri, 27 Aug 2010 17:09:18 +0200] rev 38805

Sum_Of_Squares: proper configuration options;

Fri, 27 Aug 2010 17:02:19 +0200 tuned printed type names, according to ML;

changeset

wenzelm [Fri, 27 Aug 2010 17:02:19 +0200] rev 38804

tuned printed type names, according to ML;

Fri, 27 Aug 2010 16:32:11 +0200 eliminated unnecessary ref;

changeset

wenzelm [Fri, 27 Aug 2010 16:32:11 +0200] rev 38803

eliminated unnecessary ref;

Fri, 27 Aug 2010 16:29:12 +0200 clarified iter_deepen_limit vs meson (cf. 7c5896919eb8) -- eliminated global ref;

changeset

wenzelm [Fri, 27 Aug 2010 16:29:12 +0200] rev 38802

clarified iter_deepen_limit vs meson (cf. 7c5896919eb8) -- eliminated global ref;

Fri, 27 Aug 2010 15:46:08 +0200 disposed some old debugging tools;

changeset

wenzelm [Fri, 27 Aug 2010 15:46:08 +0200] rev 38801

disposed some old debugging tools;

Fri, 27 Aug 2010 15:07:35 +0200 proper configuration option "show_proofs";

changeset

wenzelm [Fri, 27 Aug 2010 15:07:35 +0200] rev 38800

proper configuration option "show_proofs"; modernized syntax translation;

Fri, 27 Aug 2010 14:14:08 +0200 structure Unsynchronized is never opened and set/reset/toggle have been discontinued;

changeset

wenzelm [Fri, 27 Aug 2010 14:14:08 +0200] rev 38799

structure Unsynchronized is never opened and set/reset/toggle have been discontinued; retain Unsynchronized.change alias for Proof General;

Fri, 27 Aug 2010 14:07:09 +0200 expanded some aliases from structure Unsynchronized;

changeset

wenzelm [Fri, 27 Aug 2010 14:07:09 +0200] rev 38798

expanded some aliases from structure Unsynchronized;

Fri, 27 Aug 2010 12:57:55 +0200 merged, resolving some minor conflicts in src/HOL/Tools/Predicate_Compile/code_prolog.ML;

changeset

wenzelm [Fri, 27 Aug 2010 12:57:55 +0200] rev 38797

merged, resolving some minor conflicts in src/HOL/Tools/Predicate_Compile/code_prolog.ML;

Fri, 27 Aug 2010 10:57:32 +0200 merged

changeset

haftmann [Fri, 27 Aug 2010 10:57:32 +0200] rev 38796

merged

Fri, 27 Aug 2010 10:56:46 +0200 formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj

changeset

haftmann [Fri, 27 Aug 2010 10:56:46 +0200] rev 38795

formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj

Fri, 27 Aug 2010 10:55:20 +0200 tuned fact reference

changeset

haftmann [Fri, 27 Aug 2010 10:55:20 +0200] rev 38794

tuned fact reference

Fri, 27 Aug 2010 09:43:52 +0200 merged

changeset

bulwahn [Fri, 27 Aug 2010 09:43:52 +0200] rev 38793

merged

Fri, 27 Aug 2010 09:34:06 +0200 added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory

changeset

bulwahn [Fri, 27 Aug 2010 09:34:06 +0200] rev 38792

added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory

Thu, 26 Aug 2010 14:48:48 +0200 adapted examples; tuned

changeset

bulwahn [Thu, 26 Aug 2010 14:48:48 +0200] rev 38791

adapted examples; tuned

Thu, 26 Aug 2010 14:07:11 +0200 moving options; tuned

changeset

bulwahn [Thu, 26 Aug 2010 14:07:11 +0200] rev 38790

moving options; tuned

Thu, 26 Aug 2010 13:49:12 +0200 added generation of predicates for size-limited enumeration of values

changeset

bulwahn [Thu, 26 Aug 2010 13:49:12 +0200] rev 38789

added generation of predicates for size-limited enumeration of values