12 months ago wenzelm [Wed, 06 Jun 2018 11:27:27 +0200] rev 68388
updated to sqlite-jdbc-3.23.1;
Admin/components/components.sha1 Admin/components/main

12 months ago nipkow [Wed, 06 Jun 2018 13:04:52 +0200] rev 68387
merged

12 months ago nipkow [Wed, 06 Jun 2018 11:12:37 +0200] rev 68386
Keep filter input syntax
src/Doc/Tutorial/Inductive/AB.thy src/HOL/Library/AList.thy src/HOL/Library/Finite_Map.thy src/HOL/Library/Multiset.thy src/HOL/MicroJava/DFA/Kildall.thy src/HOL/MicroJava/DFA/LBVComplete.thy src/HOL/MicroJava/DFA/LBVCorrect.thy src/HOL/MicroJava/DFA/LBVSpec.thy src/HOL/MicroJava/DFA/SemilatAlg.thy src/HOL/Nitpick_Examples/Manual_Nits.thy src/HOL/Nominal/Examples/W.thy src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy src/HOL/Quotient_Examples/Quotient_FSet.thy src/HOL/Random.thy src/HOL/ex/Quicksort.thy src/HOL/ex/Radix_Sort.thy

12 months ago wenzelm [Tue, 05 Jun 2018 23:26:15 +0200] rev 68385
more parallelism to cope with 8h30 CPU time;
src/Pure/Admin/isabelle_cronjob.scala

12 months ago wenzelm [Tue, 05 Jun 2018 21:29:54 +0200] rev 68384
full benchmarks, including all conditional theories;
etc/settings src/Pure/Admin/isabelle_cronjob.scala

12 months ago wenzelm [Tue, 05 Jun 2018 18:08:13 +0200] rev 68383
tuned proofs;
src/HOL/HOLCF/Cfun.thy src/HOL/HOLCF/Completion.thy src/HOL/HOLCF/Domain_Aux.thy

12 months ago wenzelm [Tue, 05 Jun 2018 16:35:52 +0200] rev 68382
more robust;
src/Pure/PIDE/session.scala

12 months ago wenzelm [Tue, 05 Jun 2018 16:12:26 +0200] rev 68381
less wasteful consolidation, based on PIDE front-end state and recent changes;
etc/options src/Pure/PIDE/command.scala src/Pure/PIDE/document.ML src/Pure/PIDE/document.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/resources.scala src/Pure/PIDE/session.scala src/Pure/Thy/thy_syntax.scala

12 months ago wenzelm [Tue, 05 Jun 2018 14:15:49 +0200] rev 68380
tuned -- short-circuit result;
src/Pure/PIDE/document.ML

12 months ago wenzelm [Tue, 05 Jun 2018 14:07:51 +0200] rev 68379
tuned;
src/Pure/Concurrent/future.ML src/Pure/PIDE/execution.ML