| #
0ed93039 |
|
04-Jan-2019 |
wenzelm <none@none> |
support for isabelle update -u control_cartouches;
|
| #
26e81017 |
|
27-Nov-2018 |
wenzelm <none@none> |
more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
tuned signature;
|
| #
8274f3e0 |
|
06-Dec-2017 |
wenzelm <none@none> |
prefer control symbol antiquotations;
|
| #
004a5084 |
|
06-Dec-2017 |
wenzelm <none@none> |
more embedded cartouche arguments;
more uniform LaTeX output for control symbols;
|
| #
093cea8d |
|
31-Mar-2015 |
wenzelm <none@none> |
clarified role of naming for background theory: transform_binding (e.g. for "concealed" flag) uses naming of hypothetical context;
|
| #
840c2056 |
|
17-Dec-2014 |
blanchet <none@none> |
tuning
|
| #
13ddea91 |
|
26-Nov-2014 |
wenzelm <none@none> |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
| #
9e6897eb |
|
13-Oct-2014 |
wenzelm <none@none> |
tuned signature;
|
| #
c45d05e7 |
|
13-Oct-2014 |
wenzelm <none@none> |
tuned signature;
|
| #
ce27dd00 |
|
13-Oct-2014 |
wenzelm <none@none> |
tuned signature;
|
| #
5bc8503e |
|
13-Oct-2014 |
wenzelm <none@none> |
clarified load order;
tuned signature;
|
| #
07e8b0e2 |
|
13-Oct-2014 |
wenzelm <none@none> |
support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins;
|
| #
e3493485 |
|
13-Oct-2014 |
wenzelm <none@none> |
support for named plugins for definitional packages;
|