| 8 weeks ago |
wenzelm |
expose bundle $ISABELLE_BROWSER_INFO_LIBRARY via HTTP;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
tuned NEWS for release;
|
file |
diff |
annotate
|
| 2 months ago |
paulson |
Minor lemma tweaking
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2 months ago |
desharna |
NEWS
|
file |
diff |
annotate
|
| 2 months ago |
desharna |
added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp
|
file |
diff |
annotate
|
| 2 months ago |
desharna |
added lemma strict_partial_order_wfp_on_finite_set
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
clarified NEWS: not user-relevant;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
merged;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
|
file |
diff |
annotate
|
| 2 months ago |
Fabian Huch |
more standard: let OS pick random port by default;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 2 months ago |
Lukas Stevens |
merged
|
file |
diff |
annotate
|
| 2 months ago |
Lukas Stevens |
add hook to insert premises in the order solver
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
less NEWS (see also afae60d6ff15);
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
switch from CVC5 to cvc5, including updates of internal tool references;
|
file |
diff |
annotate
|
| 2 months ago |
haftmann |
typo
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
move theory "HOL-Library.Adhoc_Overloading" to Pure;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
support for @{instantiate (no_beta) ...};
|
file |
diff |
annotate
|
| 2 months ago |
Fabian Huch |
clarified find_facts URL;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2 months ago |
haftmann |
theory to rewrite arithmetic operations to bit shifts
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
clarified solr_data directory, provided via settings;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
more NEWS + CONTRIBUTORS;
|
file |
diff |
annotate
|
| 3 months ago |
paulson |
fixed a typo
|
file |
diff |
annotate
|
| 3 months ago |
haftmann |
corrected
|
file |
diff |
annotate
|
| 3 months ago |
Lukas Bartl |
Rename "suggest_of" to "instantiate"
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880);
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
proper NEWS section;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
updated Ubuntu versions;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
update NEWS / documentation / descriptions for Phorge (formerly Phabricator);
|
file |
diff |
annotate
|
| 3 months ago |
haftmann |
optionally use shift operations on target numerals for efficient execution
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
rebuild E 3.1 on Windows/Cygwin, with patch for proper interrupts;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
misc tuning and updates for release;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 3 months ago |
haftmann |
refined syntax for code_reserved
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
revert changeset 2f98e3c4592c: avoid conflict with low-level \<^latex> markup;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
more LaTeX markup;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
clarified LaTeX presentation: more specific keywords;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
more syntax bundles, e.g. to explore terms without notation;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
syntax translations now work in a local theory context;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
proper bundle binomial_syntax;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
more LaTeX markup for printed entities;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
prefer Term.variant_bounds: bounds vs. frees, no attempt at consts;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
clarified 'unbundle' polarity, according to algebraic group laws;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|