Summary
- tuned output;
- merged
- isabelle.preview presents bibtex database files as well;
- clarified signature;
- isabelle.preview presents auxiliary text files as well;
- tuned signature;
- tuned signature;
- bibtex HTML output via external tool;
The file was modified | src/Pure/Tools/bibtex.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Tools/bibtex.scala (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/Thy/present.scala (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/JEdit/JEdit.thy (diff) |
The file was modified | src/Pure/Thy/present.scala (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |
The file was modified | src/Pure/General/http.scala (diff) |
The file was modified | src/Pure/General/url.scala (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/Pure/Tools/bibtex.scala (diff) |