| 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
|
| Tue, 25 Mar 2025 09:10:44 +0100 |
desharna |
renamed lemmas
|
file |
diff |
annotate
|
| Mon, 24 Mar 2025 14:27:18 +0100 |
desharna |
added lemmas asymp_on_mono_strong and asymp_on_mono[mono]
|
file |
diff |
annotate
|
| Mon, 24 Mar 2025 14:21:36 +0100 |
desharna |
added lemmas irreflp_on_mono_strong and irreflp_on_mono[mono]
|
file |
diff |
annotate
|
| Mon, 24 Mar 2025 14:05:55 +0100 |
desharna |
removed reflp_mono (use reflp_on_mono_strong instead)
|
file |
diff |
annotate
|
| Mon, 24 Mar 2025 14:04:11 +0100 |
desharna |
added lemma reflp_on_mono[mono]
|
file |
diff |
annotate
|