19 months ago wenzelm [Sun, 12 Nov 2017 16:38:13 +0100] rev 67056
load theories via PIDE document update;
theory nodes are always required;
src/Pure/PIDE/resources.scala src/Pure/Thy/thy_document_model.scala src/Pure/Thy/thy_resources.scala

19 months ago wenzelm [Sun, 12 Nov 2017 13:22:00 +0100] rev 67055
tuned signature;
src/Pure/Thy/thy_document_model.scala

19 months ago wenzelm [Sun, 12 Nov 2017 13:19:00 +0100] rev 67054
PIDE resources for theory files;
src/Pure/Thy/thy_resources.scala src/Pure/build-jars

19 months ago wenzelm [Sun, 12 Nov 2017 12:55:10 +0100] rev 67053
tuned;
src/Pure/PIDE/resources.scala src/Pure/Thy/sessions.scala

19 months ago wenzelm [Sun, 12 Nov 2017 12:41:05 +0100] rev 67052
tuned signature;
src/Pure/Admin/afp.scala src/Pure/ML/ml_process.scala src/Pure/System/isabelle_process.scala src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala

19 months ago haftmann [Sat, 11 Nov 2017 18:41:08 +0000] rev 67051
dedicated definition for coprimality
NEWS src/Doc/Corec/Corec.thy src/HOL/Algebra/Multiplicative_Group.thy src/HOL/Computational_Algebra/Factorial_Ring.thy src/HOL/Computational_Algebra/Normalized_Fraction.thy src/HOL/Computational_Algebra/Nth_Powers.thy src/HOL/Computational_Algebra/Polynomial_Factorial.thy src/HOL/Computational_Algebra/Primes.thy src/HOL/Computational_Algebra/Squarefree.thy src/HOL/Corec_Examples/Paper_Examples.thy src/HOL/Decision_Procs/Rat_Pair.thy src/HOL/Euclidean_Division.thy src/HOL/GCD.thy src/HOL/Isar_Examples/Fibonacci.thy src/HOL/Library/Multiset.thy src/HOL/Map.thy src/HOL/Nitpick.thy src/HOL/Number_Theory/Cong.thy src/HOL/Number_Theory/Euler_Criterion.thy src/HOL/Number_Theory/Fib.thy src/HOL/Number_Theory/Gauss.thy src/HOL/Number_Theory/Pocklington.thy src/HOL/Number_Theory/Residues.thy src/HOL/Number_Theory/Totient.thy src/HOL/Parity.thy src/HOL/Rat.thy src/HOL/Real.thy src/HOL/Rings.thy src/HOL/Set.thy

19 months ago haftmann [Sat, 11 Nov 2017 18:33:35 +0000] rev 67050
more induct rules on nat
src/HOL/Nat.thy

19 months ago wenzelm [Sat, 11 Nov 2017 19:39:47 +0100] rev 67049
avoid download of components;
src/Pure/Admin/isabelle_cronjob.scala

19 months ago wenzelm [Sat, 11 Nov 2017 19:23:52 +0100] rev 67048
local user_home for improved performance, but only after given changeset for stability of measurement history;
src/Pure/Admin/isabelle_cronjob.scala

19 months ago wenzelm [Sat, 11 Nov 2017 17:04:14 +0100] rev 67047
support alternative USER_HOME directory;
src/Pure/Admin/build_history.scala