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 update_cartouches;
2015-09-17, by wenzelm
isabelle update_cartouches;
2015-09-17, by wenzelm
recode all text, which is relevant for Session.save on non-ASCII directory;
2015-09-16, by wenzelm
tuned;
2015-09-16, by wenzelm
more recent JavaAppLauncher, which supports file associations;
2015-09-16, by wenzelm
more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
2015-09-16, by wenzelm
more app properties glimpsed from infinitekind/Moneydance 2015.5;
2015-09-16, by wenzelm
tuned whitespace;
2015-09-16, by wenzelm
updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
2015-09-16, by wenzelm
avoid module dependency cycles
2015-09-15, by Andreas Lochbihler
goali -> i
2015-09-15, by nipkow
Omega_Words_Fun: Infinite words as functions from nat.
2015-09-15, by lammich
provide FontMapper for embedded fonts;
2015-09-14, by wenzelm
avoid hardwired colors;
2015-09-14, by wenzelm
avoid hardwired colors;
2015-09-14, by wenzelm
replacement character for spaces;
2015-09-14, by wenzelm
single-instance application, even on Linux;
2015-09-14, by wenzelm
single-instance application for Linux;
2015-09-14, by wenzelm
tuned message;
2015-09-14, by wenzelm
added isabelle jedit_client;
2015-09-14, by wenzelm
tuned proofs -- less legacy;
2015-09-13, by wenzelm
tuned message;
2015-09-13, by wenzelm
tuned proofs;
2015-09-13, by wenzelm
renamed method "goals" to "goal_cases" to emphasize its meaning;
2015-09-13, by wenzelm
tuned proofs;
2015-09-13, by wenzelm
method "goals" ignores facts;
2015-09-13, by wenzelm
tuned;
2015-09-13, by wenzelm
unconceal symbols stemming from inductive_set specifications, which are regular part of user-space specification;
2015-09-10, by haftmann
fully detached test run, to avoid flashing window on Windows with Cygwin-Terminal;
2015-09-11, by wenzelm
single-instance application on Windows;
2015-09-11, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip