Summary
- tuned output;
- more operations;
- removed inaccessible blobs from Document.Nodes;
- more accurate JSON parsing according to http://seriot.ch/parsing_json.php
- purge hidden nodes more thoroughly: is_hidden may become true only later;
- proper synchronized Map: this may be used on multiple threads;
- bij_betw lemma for prime powers
- Existence of a holomorphic logarithm
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/PIDE/xml.scala (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/General/json.scala (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/PIDE/xml.scala (diff) |
The file was modified | src/HOL/Number_Theory/Prime_Powers.thy (diff) |
The file was modified | src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff) |