2015-10-10 wenzelm [Sat, 10 Oct 2015 16:26:23 +0200] rev 61382
isabelle update_cartouches;
src/HOL/Algebra/AbelCoset.thy src/HOL/Algebra/Bij.thy src/HOL/Algebra/Congruence.thy src/HOL/Algebra/Coset.thy src/HOL/Algebra/Divisibility.thy src/HOL/Algebra/Exponent.thy src/HOL/Algebra/FiniteProduct.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/Ideal.thy src/HOL/Algebra/IntRing.thy src/HOL/Algebra/Lattice.thy src/HOL/Algebra/Module.thy src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/Ring.thy src/HOL/Algebra/RingHom.thy src/HOL/Algebra/Sylow.thy src/HOL/Algebra/UnivPoly.thy src/HOL/Old_Number_Theory/BijectionRel.thy src/HOL/Old_Number_Theory/Chinese.thy src/HOL/Old_Number_Theory/Euler.thy src/HOL/Old_Number_Theory/EulerFermat.thy src/HOL/Old_Number_Theory/EvenOdd.thy src/HOL/Old_Number_Theory/Factorization.thy src/HOL/Old_Number_Theory/Fib.thy src/HOL/Old_Number_Theory/Finite2.thy src/HOL/Old_Number_Theory/Gauss.thy src/HOL/Old_Number_Theory/Int2.thy src/HOL/Old_Number_Theory/IntFact.thy src/HOL/Old_Number_Theory/IntPrimes.thy src/HOL/Old_Number_Theory/Legacy_GCD.thy src/HOL/Old_Number_Theory/Pocklington.thy src/HOL/Old_Number_Theory/Primes.thy src/HOL/Old_Number_Theory/Quadratic_Reciprocity.thy src/HOL/Old_Number_Theory/Residues.thy src/HOL/Old_Number_Theory/WilsonBij.thy src/HOL/Old_Number_Theory/WilsonRuss.thy

2015-10-10 wenzelm [Sat, 10 Oct 2015 16:21:34 +0200] rev 61381
more explicit HTML.symbols;
tuned signature;
src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/resources.ML src/Pure/PIDE/session.ML src/Pure/PIDE/session.scala src/Pure/Thy/html.ML src/Pure/Thy/present.ML src/Pure/Thy/thy_info.ML src/Pure/Tools/build.ML

2015-10-09 wenzelm [Fri, 09 Oct 2015 21:20:43 +0200] rev 61380
NEWS;
NEWS

2015-10-09 wenzelm [Fri, 09 Oct 2015 21:16:00 +0200] rev 61379
more direct HTML presentation, without print mode;
src/Pure/PIDE/command.ML src/Pure/PIDE/resources.ML src/Pure/Thy/html.ML src/Pure/Thy/thy_syntax.ML

2015-10-09 wenzelm [Fri, 09 Oct 2015 20:26:03 +0200] rev 61378
discontinued specific HTML syntax;
src/CTT/Arith.thy src/CTT/CTT.thy src/FOL/IFOL.thy src/HOL/Archimedean_Field.thy src/HOL/Filter.thy src/HOL/Fun.thy src/HOL/Groups.thy src/HOL/Groups_Big.thy src/HOL/Groups_List.thy src/HOL/HOL.thy src/HOL/HOLCF/Cfun.thy src/HOL/HOLCF/IOA/meta_theory/Pred.thy src/HOL/HOLCF/Sprod.thy src/HOL/HOLCF/Ssum.thy src/HOL/Library/Extended_Nat.thy src/HOL/Library/FuncSet.thy src/HOL/Library/Groups_Big_Fun.thy src/HOL/Library/Multiset.thy src/HOL/Library/Preorder.thy src/HOL/List.thy src/HOL/NSA/HyperDef.thy src/HOL/NSA/NSA.thy src/HOL/NanoJava/Equivalence.thy src/HOL/Nat.thy src/HOL/Orderings.thy src/HOL/Power.thy src/HOL/Probability/Fin_Map.thy src/HOL/Probability/Finite_Product_Measure.thy src/HOL/Product_Type.thy src/HOL/Proofs/Lambda/LambdaType.thy src/HOL/Set.thy src/HOL/Set_Interval.thy src/HOL/Transitive_Closure.thy src/Sequents/LK0.thy src/ZF/Arith.thy src/ZF/Cardinal.thy src/ZF/CardinalArith.thy src/ZF/Int_ZF.thy src/ZF/Main_ZF.thy src/ZF/OrdQuant.thy src/ZF/OrderType.thy src/ZF/Ordinal.thy src/ZF/ZF.thy

2015-10-09 wenzelm [Fri, 09 Oct 2015 19:51:20 +0200] rev 61377
installable TTF for MS IE 9+;
lib/fonts/IsabelleText.sfd lib/fonts/IsabelleText.ttf lib/fonts/IsabelleTextBold.sfd lib/fonts/IsabelleTextBold.ttf

2015-10-09 wenzelm [Fri, 09 Oct 2015 19:25:13 +0200] rev 61376
output HTML text according to Isabelle/Scala Symbol.Interpretation;
src/Pure/General/symbol.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/session.scala src/Pure/Thy/html.ML src/Pure/Tools/build.ML src/Pure/Tools/build.scala

2015-10-09 wenzelm [Fri, 09 Oct 2015 17:15:53 +0200] rev 61375
tuned output;
src/Pure/Tools/build.scala

2015-10-09 wenzelm [Fri, 09 Oct 2015 16:58:24 +0200] rev 61374
server-side fonts;
etc/isabelle.css src/Pure/Thy/html.ML src/Pure/Thy/present.scala

2015-10-09 wenzelm [Fri, 09 Oct 2015 16:29:18 +0200] rev 61373
more accurate imitation of "cp -p -f";
src/Pure/General/file.scala