Mercurial
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
branches
|
files
|
gz
20 months ago
wenzelm [Fri, 20 Oct 2017 23:29:43 +0200] rev 66887
more ambitious test;
src/Pure/Admin/isabelle_cronjob.scala
20 months ago
haftmann [Fri, 20 Oct 2017 07:46:10 +0200] rev 66886
added lemmas and tuned proofs
src/HOL/Code_Numeral.thy
src/HOL/Computational_Algebra/Normalized_Fraction.thy
src/HOL/Divides.thy
src/HOL/Euclidean_Division.thy
src/HOL/Int.thy
src/HOL/Library/Numeral_Type.thy
src/HOL/Word/Word_Miscellaneous.thy
20 months ago
paulson [Thu, 19 Oct 2017 17:16:13 +0100] rev 66885
merged
20 months ago
paulson <lp15@cam.ac.uk> [Thu, 19 Oct 2017 17:16:01 +0100] rev 66884
Switching to inverse image and constant_on, plus some new material
src/HOL/Analysis/Brouwer_Fixpoint.thy
src/HOL/Analysis/Cauchy_Integral_Theorem.thy
src/HOL/Analysis/Conformal_Mappings.thy
src/HOL/Analysis/Connected.thy
src/HOL/Analysis/Continuous_Extension.thy
src/HOL/Analysis/Convex_Euclidean_Space.thy
src/HOL/Analysis/Further_Topology.thy
src/HOL/Analysis/Henstock_Kurzweil_Integration.thy
src/HOL/Analysis/Homeomorphism.thy
src/HOL/Analysis/Jordan_Curve.thy
src/HOL/Analysis/Path_Connected.thy
src/HOL/Analysis/Starlike.thy
src/HOL/Analysis/Tagged_Division.thy
src/HOL/Analysis/Topology_Euclidean_Space.thy
src/HOL/Analysis/Winding_Numbers.thy
20 months ago
wenzelm [Thu, 19 Oct 2017 00:55:34 +0200] rev 66883
proper integer option for Admin/build_history;
src/Pure/Admin/isabelle_cronjob.scala
20 months ago
wenzelm [Wed, 18 Oct 2017 20:26:32 +0200] rev 66882
clarified output;
src/Pure/Admin/build_status.scala
20 months ago
wenzelm [Wed, 18 Oct 2017 20:14:57 +0200] rev 66881
tuned output;
src/Pure/Admin/build_status.scala
20 months ago
wenzelm [Wed, 18 Oct 2017 19:53:19 +0200] rev 66880
more thorough treatment of afp_version and afp_pull_date;
src/Pure/Admin/build_log.scala
src/Pure/Admin/build_status.scala
src/Pure/Admin/isabelle_cronjob.scala
src/Pure/Admin/jenkins.scala
20 months ago
wenzelm [Wed, 18 Oct 2017 11:53:01 +0200] rev 66879
tuned options;
src/Pure/Admin/isabelle_cronjob.scala
20 months ago
wenzelm [Tue, 17 Oct 2017 13:56:58 +0200] rev 66878
tuned output;
src/Pure/Admin/build_history.scala