Wed, 20 Oct 2021 11:25:32 +0200 |
wenzelm |
clarified keywords and reports;
|
file |
diff |
annotate
|
Tue, 28 Sep 2021 23:25:13 +0200 |
wenzelm |
avoid overlapping PIDE markup (amending bb25ea271b15);
|
file |
diff |
annotate
|
Tue, 28 Sep 2021 22:08:03 +0200 |
wenzelm |
clarified positions, notably for ML compiler errors;
|
file |
diff |
annotate
|
Tue, 28 Sep 2021 21:41:38 +0200 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
Tue, 28 Sep 2021 17:08:38 +0200 |
wenzelm |
more convenient ML arguments: avoid excessive nesting of cartouches;
|
file |
diff |
annotate
|
Tue, 21 Sep 2021 19:42:30 +0200 |
wenzelm |
clarified partial application: immediate check of object-logic, and avoidance of context within closure;
|
file |
diff |
annotate
|
Tue, 21 Sep 2021 13:12:14 +0200 |
wenzelm |
ML antiquotations for object-logic judgment;
|
file |
diff |
annotate
|
Mon, 20 Sep 2021 20:43:38 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 19 Sep 2021 21:14:14 +0200 |
wenzelm |
support ML antiquotations with fn abstraction;
|
file |
diff |
annotate
|
Sat, 11 Sep 2021 21:16:23 +0200 |
wenzelm |
ML antiquotations for type constructors and term constants;
|
file |
diff |
annotate
|
Sat, 11 Sep 2021 13:04:32 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Sun, 02 May 2021 14:07:19 +0200 |
wenzelm |
early definition of ML antiquotations;
|
file |
diff |
annotate
| base
|