2017-12-30 |
wenzelm |
more robust treatment of conflicts with existing Unicode text;
|
changeset |
files
|
2017-12-30 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
2017-12-29 |
wenzelm |
no check for bibtex entries from other sessions;
|
changeset |
files
|
2017-12-29 |
wenzelm |
clarified signature;
|
changeset |
files
|
2017-12-29 |
wenzelm |
more accurate message patterns;
|
changeset |
files
|
2017-12-29 |
wenzelm |
prefer formal citations;
|
changeset |
files
|
2017-12-29 |
wenzelm |
proper bibtex entries;
|
changeset |
files
|
2017-12-29 |
wenzelm |
formal check of @{cite} bibtex entries -- only in batch-mode session builds;
|
changeset |
files
|
2017-12-28 |
wenzelm |
clarified check, notably for bibtex theory (amending 5f082b1fa9fa);
|
changeset |
files
|
2017-12-28 |
wenzelm |
NEWS;
|
changeset |
files
|
2017-12-28 |
wenzelm |
proper check for imports, not just ROOT entries;
|
changeset |
files
|
2017-12-28 |
wenzelm |
tuned signature;
|
changeset |
files
|
2017-12-28 |
wenzelm |
implicit thy_load context for bibtex files (VSCode);
|
changeset |
files
|
2017-12-28 |
wenzelm |
bibtex theory is always required and thus eventually consolidated;
|
changeset |
files
|
2017-12-28 |
wenzelm |
implicit thy_load context for bibtex files;
|
changeset |
files
|
2017-12-28 |
wenzelm |
clarified signature: prefer Document.Node.Name.is_bibtex;
|
changeset |
files
|
2017-12-28 |
wenzelm |
avoid spurious noise: Prover IDE is meant to check for errors;
|
changeset |
files
|
2017-12-28 |
wenzelm |
clarified signature;
|
changeset |
files
|
2017-12-28 |
wenzelm |
avoid clash with special files in HTML output;
|
changeset |
files
|
2017-12-28 |
wenzelm |
unused;
|
changeset |
files
|
2017-12-28 |
wenzelm |
tuned signature;
|
changeset |
files
|
2017-12-28 |
wenzelm |
prefer existing Resources.check_path;
|
changeset |
files
|
2017-12-28 |
wenzelm |
more accurate bibtex entries;
|
changeset |
files
|
2017-12-28 |
wenzelm |
added command 'bibtex_file' (for PIDE interaction only);
|
changeset |
files
|
2017-12-27 |
wenzelm |
clarified default position for empty message pos;
|
changeset |
files
|
2017-12-25 |
haftmann |
spelling
|
changeset |
files
|
2017-12-24 |
eberlm |
Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
|
changeset |
files
|
2017-12-24 |
wenzelm |
fewer warnings;
|
changeset |
files
|
2017-12-24 |
wenzelm |
clarified positions;
|
changeset |
files
|
2017-12-24 |
wenzelm |
check bibtex database on ML side -- for semantic PIDE editing;
|
changeset |
files
|
2017-12-24 |
wenzelm |
clarified directories;
|
changeset |
files
|
2017-12-24 |
wenzelm |
more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);
|
changeset |
files
|
2017-12-23 |
wenzelm |
check bibtex database: errors and warnings;
|
changeset |
files
|
2017-12-23 |
wenzelm |
more symbols;
|
changeset |
files
|
2017-12-22 |
paulson |
Merge
|
changeset |
files
|
2017-12-22 |
paulson |
Merge
|
changeset |
files
|
2017-12-22 |
paulson |
new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
|
changeset |
files
|
2017-12-22 |
wenzelm |
more symbols;
|
changeset |
files
|
2017-12-22 |
wenzelm |
tuned;
|
changeset |
files
|
2017-12-22 |
wenzelm |
store full blob source for the sake of markup_to_XML;
|
changeset |
files
|
2017-12-22 |
wenzelm |
PIDE markup for non-theory nodes;
|
changeset |
files
|
2017-12-22 |
wenzelm |
discontinued 'display_drafts' command;
|
changeset |
files
|
2017-12-22 |
wenzelm |
action "isabelle.draft" for plain-text preview;
|
changeset |
files
|
2017-12-22 |
wenzelm |
NEWS;
|
changeset |
files
|
2017-12-22 |
wenzelm |
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
|
changeset |
files
|
2017-12-22 |
wenzelm |
tuned;
|
changeset |
files
|
2017-12-22 |
wenzelm |
clarified URL: unique node name;
|
changeset |
files
|
2017-12-22 |
wenzelm |
clarified signature;
|
changeset |
files
|
2017-12-22 |
wenzelm |
proper title;
|
changeset |
files
|
2017-12-22 |
wenzelm |
HTML rendering of \<^control> as in Isabelle/jEdit;
|
changeset |
files
|
2017-12-22 |
wenzelm |
auto update;
|
changeset |
files
|
2017-12-22 |
wenzelm |
clarified modules;
|
changeset |
files
|
2017-12-22 |
wenzelm |
proper HTML title;
|
changeset |
files
|
2017-12-22 |
wenzelm |
tuned signature;
|
changeset |
files
|
2017-12-21 |
wenzelm |
tuned output;
|
changeset |
files
|
2017-12-21 |
wenzelm |
merged
|
changeset |
files
|