| Fri, 18 Oct 2024 15:45:38 +0200 |
wenzelm |
clarified inner-syntax markup;
|
file |
diff |
annotate
|
| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Wed, 28 Aug 2024 20:46:45 +0200 |
wenzelm |
proper definition to avoid failure of HOL-Codegenerator_Test (amending 3d9e7746d9db);
|
file |
diff |
annotate
|
| Wed, 28 Aug 2024 19:40:07 +0200 |
wenzelm |
further attempts at markup for monad notation;
|
file |
diff |
annotate
|
| Wed, 28 Aug 2024 16:46:33 +0200 |
wenzelm |
more markup for syntax consts;
|
file |
diff |
annotate
|
| Thu, 12 Nov 2020 09:06:44 +0100 |
haftmann |
bundled syntax for state monad combinators
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Tue, 11 Jul 2017 17:22:33 +0200 |
Lars Hupel |
State_Monad ~> Open_State_Syntax
|
file |
diff |
annotate
| base
|