| Wed, 02 Nov 2022 11:34:24 +0100 |
wenzelm |
more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;
|
changeset |
files
|
| Wed, 02 Nov 2022 11:01:22 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 02 Nov 2022 10:24:44 +0100 |
wenzelm |
clarified signature: do not require finished theory;
|
changeset |
files
|
| Wed, 02 Nov 2022 09:47:27 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Wed, 02 Nov 2022 18:58:38 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 28 Oct 2022 15:39:35 +0200 |
desharna |
added lemmas multp_mono_strong and mult_mono_strong
|
changeset |
files
|
| Mon, 31 Oct 2022 21:58:08 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 31 Oct 2022 21:44:34 +0100 |
wenzelm |
support for FoilTeX with demo document;
|
changeset |
files
|
| Mon, 31 Oct 2022 17:59:33 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Mon, 31 Oct 2022 17:13:57 +0100 |
wenzelm |
tuned whitespace for "isabelle doc" display;
|
changeset |
files
|
| Mon, 31 Oct 2022 17:10:13 +0100 |
wenzelm |
support for Easychair style with demo document;
|
changeset |
files
|
| Mon, 31 Oct 2022 15:50:13 +0100 |
wenzelm |
support for Dagstuhl LIPIcs style with demo document;
|
changeset |
files
|
| Mon, 31 Oct 2022 11:04:54 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 29 Oct 2022 21:36:33 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 28 Oct 2022 16:25:44 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 28 Oct 2022 16:14:14 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 28 Oct 2022 15:59:06 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Fri, 28 Oct 2022 15:46:20 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 28 Oct 2022 15:42:59 +0200 |
wenzelm |
tuned signature, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Fri, 28 Oct 2022 06:34:26 +0000 |
haftmann |
restructured
|
changeset |
files
|
| Fri, 28 Oct 2022 06:34:25 +0000 |
haftmann |
modulus for polynomials is invariant wrt. units
|
changeset |
files
|
| Fri, 28 Oct 2022 13:18:27 +0200 |
wenzelm |
proper Java syntax (amending ea79c21bcc47);
|
changeset |
files
|
| Fri, 28 Oct 2022 13:15:11 +0200 |
wenzelm |
reactivate emerging tool after release (see 322f2e2799a7);
|
changeset |
files
|
| Fri, 28 Oct 2022 12:32:59 +0200 |
traytel |
separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
|
changeset |
files
|