#
8413f38b |
|
22-Jun-2018 |
wenzelm <none@none> |
clarified document antiquotation @{theory};
|
#
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
#
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
#
5dc803d8 |
|
13-Apr-2016 |
wenzelm <none@none> |
eliminated "xname" and variants;
|
#
9557fc8a |
|
22-Dec-2015 |
wenzelm <none@none> |
more standard nesting of sub-language: Parse.text allows atomic entities without quotes;
|
#
a279bbf2 |
|
16-Dec-2015 |
wenzelm <none@none> |
rule_attribute and declaration_attribute implicitly support abstract closure, but mixed_attribute implementations need to be aware of Thm.is_free_dummy;
|
#
08ea3fe9 |
|
13-Nov-2015 |
wenzelm <none@none> |
more uniform jEdit properties;
|
#
acbeb7a7 |
|
04-Nov-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c;
|
#
b632a407 |
|
04-Nov-2015 |
wenzelm <none@none> |
tuned whitespace;
|
#
cf035ff6 |
|
20-Oct-2015 |
wenzelm <none@none> |
isabelle update_cartouches -t;
|
#
03b6cdb6 |
|
18-Oct-2015 |
wenzelm <none@none> |
more control symbols;
|
#
0477e64f |
|
12-Oct-2015 |
wenzelm <none@none> |
proper imports; more symbols; avoid special latex tricks;
|
#
ce98fbe1 |
|
22-May-2015 |
wenzelm <none@none> |
updated Eisbach manual, using version 3149f9146eb5 of its Bitbucket repository;
|
#
2a31bd88 |
|
17-May-2015 |
wenzelm <none@none> |
added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;
|