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.
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned error message;
20 months ago, by wenzelm
merged
20 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
20 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
20 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
more NEWS;
20 months ago, by wenzelm
updated some links;
20 months ago, by wenzelm
more links, for files that formally belong to this session;
20 months ago, by wenzelm
more links;
20 months ago, by wenzelm
tuned antiquotations;
20 months ago, by wenzelm
ZF belongs to chapter FOL, following lib/html/library_index_content.template (i.e. "Documentation" area on website);
20 months ago, by wenzelm
include groups from 'chapter_definition' in session info, based on the state of chapter_defs after processing all ROOT files (thus the declaration order does not matter);
20 months ago, by wenzelm
proper chapter_definition to prevent odd definitions by users;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip