Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
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.
ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
2015-04-01, by wenzelm
more reactive interrupts;
2015-04-01, by wenzelm
added isabelle build option -x, to exclude sessions;
2015-04-01, by wenzelm
added isabelle build option -k, for fast off-line checking of theory sources;
2015-04-01, by wenzelm
tuned signature;
2015-04-01, by wenzelm
tuned message;
2015-04-01, by wenzelm
tuned signature;
2015-04-01, by wenzelm
more visibility flags on background naming;
2015-03-31, by wenzelm
support for explicit scope of private entries;
2015-03-31, by wenzelm
subtle change of long-standing name space policy: unknown entries are treated as hidden, consequently "private" is understood in the strict sense;
2015-03-31, by wenzelm
tuned signature;
2015-03-31, by wenzelm
tuned signature;
2015-03-31, by wenzelm
tuned -- avoid exotic Name_Space.defined_entry;
2015-03-31, by wenzelm
tuned;
2015-03-31, by wenzelm
clarified role of naming for background theory: transform_binding (e.g. for "concealed" flag) uses naming of hypothetical context;
2015-03-31, by wenzelm
tuned;
2015-03-31, by wenzelm
tuned message;
2015-03-31, by wenzelm
more standard Long_Name operations;
2015-03-31, by wenzelm
tuned;
2015-03-31, by wenzelm
tuned;
2015-03-31, by wenzelm
tuned signature;
2015-03-31, by wenzelm
simplified code
2015-04-01, by blanchet
Theorem "arctan" is no longer a default simprule
2015-04-01, by paulson
John Harrison's example: a 32-bit approximation to pi. SLOW
2015-04-01, by paulson
HOL Light Libraries for complex Arctan, Arcsin, Arccos
2015-04-01, by paulson
arcsin and arccos lemmas
2015-04-01, by paulson
NEWS
2015-03-31, by haftmann
given up separate type classes demanding `inverse 0 = 0`
2015-03-31, by haftmann
Merge
2015-03-31, by paulson
rationalised and generalised some theorems concerning abs and x^2.
2015-03-31, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip