| Thu, 12 Jun 2025 12:44:47 +0200 |
wenzelm |
discontinue old infixes;
|
file |
diff |
annotate
|
| Thu, 12 Jun 2025 08:03:05 +0200 |
haftmann |
reorganized more code-only operations
|
file |
diff |
annotate
|
| Mon, 09 Jun 2025 22:14:38 +0200 |
haftmann |
more qualified auxiliary operations
|
file |
diff |
annotate
|
| Thu, 05 Jun 2025 15:18:27 +0000 |
haftmann |
prefer already existing operation to calculate minimum
|
file |
diff |
annotate
|
| Sun, 01 Jun 2025 20:01:22 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 01 Jun 2025 16:43:09 +0200 |
wenzelm |
more generic parsing of command spans;
|
file |
diff |
annotate
|
| Sun, 01 Jun 2025 15:30:35 +0200 |
wenzelm |
support for Thy_Info.get_theories_segments, depending on system option "record_theories";
|
file |
diff |
annotate
|
| Sat, 31 May 2025 21:51:08 +0200 |
haftmann |
generic executable ranges
|
file |
diff |
annotate
|
| Fri, 30 May 2025 07:47:03 +0200 |
haftmann |
qualify can_select auxiliary operations
|
file |
diff |
annotate
|
| Thu, 29 May 2025 11:15:48 +0200 |
haftmann |
more correct language
|
file |
diff |
annotate
|
| Wed, 28 May 2025 17:49:22 +0200 |
haftmann |
more modern qualification of auxiliary operations
|
file |
diff |
annotate
|
| Wed, 21 May 2025 20:13:43 +0200 |
haftmann |
typo
|
file |
diff |
annotate
|
| Wed, 21 May 2025 14:38:46 +0200 |
wenzelm |
proper NEWS + CONTRIBUTORS;
|
file |
diff |
annotate
|
| Wed, 21 May 2025 10:30:07 +0200 |
haftmann |
disambiguate function name wrt. structures Simplifier vs. Raw_Simplifier
|
file |
diff |
annotate
|
| Tue, 20 May 2025 17:02:10 +0200 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Sun, 18 May 2025 14:33:01 +0000 |
haftmann |
dropped unused ML bindings
|
file |
diff |
annotate
|
| Thu, 15 May 2025 22:55:29 +0200 |
wenzelm |
explicit support for dark GUI themes in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Wed, 07 May 2025 07:48:07 +0200 |
nipkow |
Kleene's fixpoint thm
|
file |
diff |
annotate
|
| Sun, 04 May 2025 15:05:51 +0200 |
haftmann |
consolidate input syntax
|
file |
diff |
annotate
|
| Wed, 23 Apr 2025 16:58:38 +0200 |
wenzelm |
update NEWS;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2025 12:27:53 +0200 |
wenzelm |
update to flatlaf-3.6, with native library support on all platforms;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2025 20:19:05 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Mon, 14 Apr 2025 20:19:05 +0200 |
haftmann |
typo
|
file |
diff |
annotate
|
| Sun, 06 Apr 2025 14:21:18 +0200 |
haftmann |
use existing implementations of bit operations if nat is implemented by target-language integer
|
file |
diff |
annotate
|
| Sat, 05 Apr 2025 08:49:53 +0200 |
haftmann |
incorporate target-language integer implementation of bit shifts into Main
|
file |
diff |
annotate
|
| Fri, 04 Apr 2025 22:20:30 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 04 Apr 2025 22:20:23 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2025 11:26:40 +0200 |
desharna |
tuned NEWS
|
file |
diff |
annotate
|
| Tue, 01 Apr 2025 10:20:14 +0200 |
desharna |
tuned whitespaces
|
file |
diff |
annotate
|
| Mon, 31 Mar 2025 22:46:11 +0100 |
paulson |
Some generalisations (mostly at the level of type classes) by Alexander Pach
|
file |
diff |
annotate
|