#
6e9d973b |
|
28-Jul-2018 |
wenzelm <none@none> |
proper return code (true) if file is absent;
|
#
db932bbe |
|
09-May-2018 |
wenzelm <none@none> |
more informative error, notably for missing executable;
|
#
01bfd5a0 |
|
03-Jan-2018 |
wenzelm <none@none> |
more tight HTML output: avoid extra lines within <pre>;
|
#
e92818d6 |
|
03-Jan-2018 |
wenzelm <none@none> |
HTML output for Markdown elements; clarified HTML operations;
|
#
d4db668d |
|
22-Dec-2017 |
wenzelm <none@none> |
store full blob source for the sake of markup_to_XML;
|
#
81fabc63 |
|
22-Dec-2017 |
wenzelm <none@none> |
PIDE markup for non-theory nodes;
|
#
de6327d8 |
|
22-Dec-2017 |
wenzelm <none@none> |
action "isabelle.draft" for plain-text preview;
|
#
b9421127 |
|
22-Dec-2017 |
wenzelm <none@none> |
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
|
#
c539a020 |
|
22-Dec-2017 |
wenzelm <none@none> |
proper title; clarified modules;
|
#
5dc5e370 |
|
22-Dec-2017 |
wenzelm <none@none> |
clarified modules;
|
#
1f4e94fa |
|
22-Dec-2017 |
wenzelm <none@none> |
tuned signature;
|
#
f14daec2 |
|
21-Dec-2017 |
wenzelm <none@none> |
clarified signature;
|
#
317417d5 |
|
21-Dec-2017 |
wenzelm <none@none> |
isabelle.preview presents auxiliary text files as well;
|
#
d11247c3 |
|
14-Dec-2017 |
wenzelm <none@none> |
purge log files -- avoid old errors;
|
#
a91097e7 |
|
14-Dec-2017 |
wenzelm <none@none> |
expose bibtex errors;
|
#
4231c72f |
|
14-Dec-2017 |
wenzelm <none@none> |
proper \isakeeptag (amending 13b5c3ff1954);
|
#
59d1df04 |
|
12-Dec-2017 |
wenzelm <none@none> |
tuned message;
|
#
75fbea0b |
|
10-Dec-2017 |
wenzelm <none@none> |
tuned messages;
|
#
163ac617 |
|
10-Dec-2017 |
wenzelm <none@none> |
removed obsolete option (see 74a1b722507e);
|
#
5d4cf2ef |
|
10-Dec-2017 |
wenzelm <none@none> |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
#
69a90b8d |
|
12-Jun-2017 |
wenzelm <none@none> |
tuned rendering;
|
#
052123f6 |
|
08-Jun-2017 |
wenzelm <none@none> |
more HTML rendering as in Isabelle/jEdit; tuned;
|
#
7584710e |
|
08-Jun-2017 |
wenzelm <none@none> |
tuned signature;
|
#
b85a1e50 |
|
08-Jun-2017 |
wenzelm <none@none> |
clarified signature;
|
#
320ae754 |
|
08-Jun-2017 |
wenzelm <none@none> |
HTML preview based on PIDE markup;
|
#
55f99800 |
|
08-Jun-2017 |
wenzelm <none@none> |
tuned layout (amending 8040d2563593);
|
#
0f0105f0 |
|
01-Jun-2017 |
wenzelm <none@none> |
generate CSS for Isabelle fonts;
|
#
4d84ec77 |
|
01-Jun-2017 |
wenzelm <none@none> |
tuned signature;
|
#
84c473b6 |
|
01-Jun-2017 |
wenzelm <none@none> |
tuned signature;
|
#
eac3f123 |
|
31-May-2017 |
wenzelm <none@none> |
tuned layout;
|
#
26bde325 |
|
31-May-2017 |
wenzelm <none@none> |
modernized generated HTML;
|
#
3aabfe5d |
|
06-Apr-2017 |
wenzelm <none@none> |
clarified modules;
|
#
b8fe2ba1 |
|
05-Apr-2017 |
wenzelm <none@none> |
tuned signature;
|
#
d958606d |
|
04-Apr-2017 |
wenzelm <none@none> |
tuned signature;
|
#
77069116 |
|
04-Apr-2017 |
wenzelm <none@none> |
proper base name;
|
#
b37702c4 |
|
01-Apr-2017 |
wenzelm <none@none> |
clarified YXML vs. symbol encoding: operate on whole message;
|
#
e9af4c57 |
|
02-Mar-2017 |
wenzelm <none@none> |
clarified fonts;
|
#
89f6d0ef |
|
02-Mar-2017 |
wenzelm <none@none> |
tuned;
|
#
d01e5437 |
|
12-Aug-2016 |
wenzelm <none@none> |
more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
|
#
14c7d176 |
|
14-Apr-2016 |
wenzelm <none@none> |
back to exact copy of non-text file (amending dcc8e1d34b18); explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;
|
#
b13d0dbf |
|
15-Mar-2016 |
wenzelm <none@none> |
clarified modules;
|
#
0f7d5ff5 |
|
21-Oct-2015 |
wenzelm <none@none> |
Isabelle fonts via external component;
|
#
b98f79d6 |
|
19-Oct-2015 |
wenzelm <none@none> |
avoid odd permissions of fresh tmp_file;
|
#
45ce05bb |
|
09-Oct-2015 |
wenzelm <none@none> |
server-side fonts;
|
#
66850b82 |
|
09-Oct-2015 |
wenzelm <none@none> |
more Present operations on Scala side;
|
#
fe5481d9 |
|
15-Apr-2015 |
wenzelm <none@none> |
tuned signature, clarified modules;
|
#
6223d8c5 |
|
14-May-2013 |
wenzelm <none@none> |
tuned signature;
|
#
4764e1b5 |
|
13-Mar-2013 |
wenzelm <none@none> |
do not absorb I/O errors;
|
#
3d1f3e4a |
|
12-Mar-2013 |
wenzelm <none@none> |
proper path -- I/O was hidden due to permissiveness;
|
#
c4527c05 |
|
12-Mar-2013 |
wenzelm <none@none> |
include session description in chapter index; prefer alphabetical order;
|
#
0cd188e0 |
|
12-Mar-2013 |
wenzelm <none@none> |
discontinued "isabelle usedir" option -r (reset session path); simplified internal session identification: chapter / name; clarified chapter index (of sessions) vs. session index (of theories); discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser); removed obsolete session parent_path;
|
#
2a44d3e8 |
|
03-Jan-2013 |
wenzelm <none@none> |
maintain session index on Scala side, for more determistic results; removed unused HTML operations;
|