Fri, 30 May 2008 01:46:52 +0200 wenzelm more AFP sessions;
Thu, 29 May 2008 23:46:45 +0200 wenzelm legacy_feature: no proof context in simpset;
Thu, 29 May 2008 23:46:43 +0200 wenzelm proper context for attribute simplified;
Thu, 29 May 2008 23:46:41 +0200 wenzelm added warning_count for issued reconstruction failure messages (limit 10);
Thu, 29 May 2008 23:46:40 +0200 wenzelm proper context for ss;
Thu, 29 May 2008 23:46:39 +0200 wenzelm proper context for simp_thms_conv;
Thu, 29 May 2008 23:46:37 +0200 wenzelm added warning_count for issued reconstruction failure messages;
Thu, 29 May 2008 23:46:36 +0200 wenzelm tuned;
Thu, 29 May 2008 22:45:33 +0200 nipkow *** empty log message ***
Thu, 29 May 2008 13:27:13 +0200 haftmann yet another attempt to circumvent printmode problems
Wed, 28 May 2008 23:44:43 +0200 wenzelm obsolete;
Wed, 28 May 2008 23:43:39 +0200 wenzelm moved README-polyml to polyml/README;
Wed, 28 May 2008 23:42:36 +0200 wenzelm README for Poly/ML 5.2 distribution;
Wed, 28 May 2008 23:36:19 +0200 wenzelm tuned;
Wed, 28 May 2008 23:33:51 +0200 wenzelm more contribs;
Wed, 28 May 2008 23:33:36 +0200 wenzelm misc tuning for Isabelle2008;
Wed, 28 May 2008 23:33:15 +0200 wenzelm added some notable improvements;
Wed, 28 May 2008 22:54:05 +0200 wenzelm tuned version numbers;
Wed, 28 May 2008 22:50:30 +0200 wenzelm prepared for Isabelle2008;
Wed, 28 May 2008 22:13:31 +0200 wenzelm added ISABELLE_HOME to startup;
Wed, 28 May 2008 21:06:17 +0200 wenzelm added Substring.full;
Wed, 28 May 2008 14:48:50 +0200 haftmann moved distinctness_limit to datatype_rep_proofs.ML
Wed, 28 May 2008 12:24:48 +0200 haftmann fixed utterly wrong print mode handling
Wed, 28 May 2008 12:06:49 +0200 haftmann new serializer interface
Wed, 28 May 2008 11:05:47 +0200 haftmann added new code_datatype example
Mon, 26 May 2008 17:55:39 +0200 haftmann proper use of the Pretty module
Mon, 26 May 2008 17:55:38 +0200 haftmann permissive wrt. instantiation of class operations
Mon, 26 May 2008 17:55:37 +0200 haftmann proper lemma [source] antiquotation
Mon, 26 May 2008 17:55:36 +0200 haftmann check for illegal merge of class parameters
Mon, 26 May 2008 17:55:35 +0200 haftmann proper NoSubsort CLASS_ERROR
Mon, 26 May 2008 17:55:34 +0200 haftmann tuned theorem order
Sat, 24 May 2008 23:52:35 +0200 wenzelm inst_subst_tac: match types -- no longer assume that subst rule has exactly one type argument;
Sat, 24 May 2008 22:19:35 +0200 wenzelm updated generated file;
Sat, 24 May 2008 22:04:57 +0200 wenzelm added local_theory command wrappers;
Sat, 24 May 2008 22:04:55 +0200 wenzelm uniform treatment of target, not as config;
Sat, 24 May 2008 22:04:52 +0200 wenzelm more uniform treatment of OuterSyntax.local_theory commands;
Sat, 24 May 2008 22:04:48 +0200 wenzelm updated generated file;
Sat, 24 May 2008 22:04:46 +0200 wenzelm invisible comment;
Sat, 24 May 2008 22:04:44 +0200 wenzelm function: uniform treatment of target, not as config;
Sat, 24 May 2008 20:12:18 +0200 wenzelm added parse_document (optional unchecked header material);
Sat, 24 May 2008 20:12:17 +0200 wenzelm exported master_directory;
Sat, 24 May 2008 20:12:16 +0200 wenzelm present_excursion: setmp_thread_position during presentation;
Sat, 24 May 2008 20:05:21 +0200 wenzelm use: explicit .ML;
Sat, 24 May 2008 14:47:43 +0200 wenzelm ident: naive caching prevents potentially slow external invocations;
Sat, 24 May 2008 02:19:09 +0200 urbanc fixed improper handling of return code (pdf and ps.gz formats)
Fri, 23 May 2008 21:20:26 +0200 wenzelm add constants: set Markup.theory_nameN in tags;
Fri, 23 May 2008 21:18:47 +0200 wenzelm added theory_nameN;
Fri, 23 May 2008 17:19:24 +0200 krauss rearranged subsections
Fri, 23 May 2008 16:41:39 +0200 berghofe Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that
Fri, 23 May 2008 16:37:57 +0200 berghofe Replaced Pretty.str and Pretty.string_of by specific functions that
Fri, 23 May 2008 16:10:25 +0200 haftmann temporary adjustment
Fri, 23 May 2008 16:05:13 +0200 haftmann tuned
Fri, 23 May 2008 16:05:11 +0200 haftmann more permissive preprocessor
Fri, 23 May 2008 16:05:07 +0200 haftmann explicit type schemes for functions
Fri, 23 May 2008 16:05:04 +0200 haftmann moved case distinction over number of constructors for distinctness rules from DatatypeProp to DatatypeRepProofs
Fri, 23 May 2008 16:05:02 +0200 haftmann added code for quantifiers
Fri, 23 May 2008 16:04:59 +0200 haftmann simplified proof
Thu, 22 May 2008 16:34:41 +0200 urbanc made the naming of the induction principles consistent: weak_induct is
Wed, 21 May 2008 22:04:58 +0200 gagern use_file: added str_of_pos argument (ignored);
Wed, 21 May 2008 14:04:41 +0200 berghofe Added entry explaining incompatibilities introduced by replacing sets by predicates.
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip