| #
8413f38b |
|
22-Jun-2018 |
wenzelm <none@none> |
clarified document antiquotation @{theory};
|
| #
dc2ca7bd |
|
21-Jun-2018 |
wenzelm <none@none> |
more documentation;
|
| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
08ea3fe9 |
|
13-Nov-2015 |
wenzelm <none@none> |
more uniform jEdit properties;
|
| #
b632a407 |
|
04-Nov-2015 |
wenzelm <none@none> |
tuned whitespace;
|
| #
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;
|