| Sun, 29 Sep 2024 21:57:47 +0200 |
wenzelm |
clarified markup: avoid conflict of "notation" with "entity", e.g. in "[x,y,z]" without spaces;
|
file |
diff |
annotate
|
| Wed, 25 Sep 2024 13:20:24 +0200 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Fri, 20 Sep 2024 23:37:00 +0200 |
wenzelm |
more inner syntax markup: minor object-logics;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2024 11:43:14 +0200 |
wenzelm |
more specific "args" syntax, to support more markup for syntax consts;
|
file |
diff |
annotate
|
| Sun, 25 Aug 2024 15:07:22 +0200 |
wenzelm |
tuned, following be8c0e039a5e;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2024 23:14:39 +0200 |
wenzelm |
more markup for syntax consts;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2022 15:59:01 +0100 |
paulson |
Slight tidying of legacy proofs
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 18:02:34 +0100 |
paulson |
More obsolete "unfold" calls
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 17:54:20 +0100 |
paulson |
getting rid of apply (unfold ...)
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 17:46:52 +0100 |
paulson |
More syntactic cleanup. LaTeX markup working
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 17:03:23 +0100 |
paulson |
more modernisation of syntax
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 16:51:35 +0100 |
paulson |
Removal of obsolete ASCII syntax
|
file |
diff |
annotate
|
| Wed, 19 Feb 2020 20:00:07 +0100 |
wenzelm |
proper print mode for function_space notation (amending d68b705719ce);
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 21:15:52 +0100 |
wenzelm |
isabelle update -u mixfix_cartouches;
|
file |
diff |
annotate
|
| Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Sun, 09 Apr 2017 20:44:35 +0200 |
wenzelm |
clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;
|
file |
diff |
annotate
| base
|