#
76c4f11c |
|
20-Mar-2020 |
wenzelm <none@none> |
avoid accidental update of base session sources (following documentation in "system" manual);
|
#
05b64de7 |
|
15-Oct-2019 |
wenzelm <none@none> |
cumulative errors for session partitions;
|
#
d5756720 |
|
14-Oct-2019 |
wenzelm <none@none> |
clarified options;
|
#
499164ef |
|
14-Oct-2019 |
wenzelm <none@none> |
clarified signature;
|
#
8b8d08b1 |
|
14-Oct-2019 |
wenzelm <none@none> |
clarified "isabelle update" options -- more like "isabelle dump";
|
#
b6ab7b00 |
|
13-Oct-2019 |
wenzelm <none@none> |
clarified signature: static Dump.Context vs. dynamic Dump.Session;
|
#
29942f1c |
|
02-Sep-2019 |
wenzelm <none@none> |
more explicit type Dump.Session, with context information;
|
#
da7b179d |
|
11-Mar-2019 |
wenzelm <none@none> |
tuned signature;
|
#
a71d5d55 |
|
03-Mar-2019 |
wenzelm <none@none> |
tuned signature;
|
#
9ff663fa |
|
01-Mar-2019 |
wenzelm <none@none> |
system option "system_heaps" supersedes various command-line options for "system build mode"; clarified "isabelle jedit" options -n, -s, -u;
|
#
e2307bf3 |
|
05-Jan-2019 |
wenzelm <none@none> |
support for isabelle update -u path_cartouches;
|
#
61dd0931 |
|
01-Jan-2019 |
wenzelm <none@none> |
tuned messages;
|
#
c0fda959 |
|
31-Dec-2018 |
wenzelm <none@none> |
update theory sources based on PIDE markup;
|