| Tue, 25 Jun 2013 19:25:40 +0200 | wenzelm | clarified ISABELLE_DOC_FORMAT -- eliminated slightly odd fall-back; | file | diff | annotate |
| Tue, 25 Jun 2013 12:17:19 +0200 | wenzelm | slightly improved "isabelle doc" based on Isabelle/Scala; | file | diff | annotate | base |