Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
proper antiquotations;
19 months ago, by wenzelm
inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;
19 months ago, by wenzelm
proper antiquotations;
19 months ago, by wenzelm
clarified options, following e.g. "show_consts";
19 months ago, by wenzelm
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
19 months ago, by wenzelm
unused (see 15758fced053);
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
19 months ago, by wenzelm
proper umlauts;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned error message;
19 months ago, by wenzelm
merged
19 months ago, by desharna
merged
20 months ago, by desharna
moved antimono to Fun and redefined it as an abbreviation
22 months ago, by desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
22 months ago, by desharna
clarified generic euclidean relation
19 months ago, by haftmann
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
19 months ago, by blanchet
tuned signature;
20 months ago, by wenzelm
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned --- more robust syntax;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
20 months ago, by wenzelm
unused (see 347ed6219dab);
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
more CONTRIBUTORS + NEWS;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper description;
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
option "sort_updates" for record update simproc. Make proper record simproc definitions.
2022-03-07, by Norbert Schirmer
Merge
20 months ago, by paulson
Three new theorems about real polynomial functions
20 months ago, by paulson
tuned GUI;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified GUI behaviour;
20 months ago, by wenzelm
eliminated odd Unicode blanks;
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
eliminated DOS line endings;
20 months ago, by wenzelm
eliminated tabs, assuming tab-width=8;
20 months ago, by wenzelm
eliminated tabs, assuming tab-width=4;
20 months ago, by wenzelm
updated to current Cygwin, near 3.3.5-1;
20 months ago, by wenzelm
test macOS 12 Monterey via laramac01;
20 months ago, by wenzelm
clarified GUI update;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
more GUI functionality;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified component structure, concerning initialization order;
20 months ago, by wenzelm
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
20 months ago, by wenzelm
provide cvc5-1.0.2 (inactive);
20 months ago, by wenzelm
tuned output;
20 months ago, by wenzelm
tool to build Isabelle component for cvc5;
20 months ago, by wenzelm
tuned: avoid odd stateful programming;
20 months ago, by wenzelm
more markup (for batch build);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip