Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-60
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
ANNOUNCE
17 months ago
wenzelm
update for release;
file
|
diff
|
annotate
17 months ago
wenzelm
avoid confusion: this is merely about "isabelle dotnet_setup", no codegen yet;
file
|
diff
|
annotate
17 months ago
wenzelm
more robust support for ARM64 platform;
file
|
diff
|
annotate
18 months ago
wenzelm
update for release;
file
|
diff
|
annotate
18 months ago
wenzelm
tuned;
file
|
diff
|
annotate
18 months ago
wenzelm
tuned;
file
|
diff
|
annotate
18 months ago
wenzelm
tuned;
file
|
diff
|
annotate
18 months ago
wenzelm
update for release;
file
|
diff
|
annotate
2022-09-14
wenzelm
more items;
file
|
diff
|
annotate
2022-09-11
wenzelm
tuned;
file
|
diff
|
annotate
2022-09-10
wenzelm
update for release;
file
|
diff
|
annotate
2021-12-11
wenzelm
tuned;
Isabelle2021-1
file
|
diff
|
annotate
2021-11-03
wenzelm
more to ANNOUNCE;
file
|
diff
|
annotate
2021-11-01
wenzelm
updated for release;
file
|
diff
|
annotate
2021-02-07
wenzelm
updated for release;
file
|
diff
|
annotate
2021-01-18
wenzelm
tuned;
file
|
diff
|
annotate
2021-01-08
wenzelm
clarified default L&F;
file
|
diff
|
annotate
2020-12-27
wenzelm
updated for release;
file
|
diff
|
annotate
2020-02-28
wenzelm
tuned;
file
|
diff
|
annotate
2020-02-26
wenzelm
updated for release;
file
|
diff
|
annotate
2019-05-21
wenzelm
proper version;
file
|
diff
|
annotate
2019-04-10
wenzelm
updated for release;
file
|
diff
|
annotate
2019-04-02
wenzelm
updated for release;
file
|
diff
|
annotate
2018-07-18
wenzelm
more ANNOUNCE;
file
|
diff
|
annotate
2018-07-06
wenzelm
prefer HTTPS;
file
|
diff
|
annotate
2018-07-02
wenzelm
tuned;
file
|
diff
|
annotate
2018-07-01
wenzelm
tuned;
file
|
diff
|
annotate
2018-06-29
wenzelm
misc tuning and updates for release;
file
|
diff
|
annotate
2018-06-06
wenzelm
updated for release;
file
|
diff
|
annotate
2017-09-08
wenzelm
updated for release;
file
|
diff
|
annotate
2017-09-03
wenzelm
updated for release;
file
|
diff
|
annotate
2017-08-21
wenzelm
tuned;
file
|
diff
|
annotate
2017-08-21
wenzelm
misc updates for release;
file
|
diff
|
annotate
2016-12-12
wenzelm
tuned;
Isabelle2016-1
file
|
diff
|
annotate
2016-10-28
wenzelm
tuned;
file
|
diff
|
annotate
2016-10-28
wenzelm
tuned;
file
|
diff
|
annotate
2016-10-25
wenzelm
updated for release;
file
|
diff
|
annotate
2016-10-07
wenzelm
updated for release;
file
|
diff
|
annotate
2016-01-18
wenzelm
updated mirrors according to website;
file
|
diff
|
annotate
2016-01-16
wenzelm
tuned URLs according to website;
file
|
diff
|
annotate
2016-01-06
wenzelm
misc tuning for release;
file
|
diff
|
annotate
2016-01-05
wenzelm
misc tuning for release;
file
|
diff
|
annotate
2016-01-01
wenzelm
tuned;
file
|
diff
|
annotate
2016-01-01
wenzelm
updated for release;
file
|
diff
|
annotate
2015-12-31
wenzelm
misc updates for release;
file
|
diff
|
annotate
2015-04-17
wenzelm
tuned spelling;
file
|
diff
|
annotate
2015-04-17
wenzelm
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
file
|
diff
|
annotate
2015-04-17
wenzelm
ANNOUNCE material, based on NEWS;
file
|
diff
|
annotate
2015-04-11
wenzelm
updated for release;
file
|
diff
|
annotate
2014-07-05
wenzelm
update for release;
file
|
diff
|
annotate
2014-07-04
wenzelm
tuned;
file
|
diff
|
annotate
2014-07-04
wenzelm
tuned;
file
|
diff
|
annotate
2014-07-04
wenzelm
misc tuning for release;
file
|
diff
|
annotate
2014-07-01
wenzelm
misc updates for release;
file
|
diff
|
annotate
2013-11-20
wenzelm
updated to Isabelle2013-2;
file
|
diff
|
annotate
2013-10-03
wenzelm
tuned;
file
|
diff
|
annotate
2013-10-03
wenzelm
tuned;
file
|
diff
|
annotate
2013-10-02
wenzelm
some highlights of Isabelle2013-1 based on NEWS;
file
|
diff
|
annotate
2013-09-29
wenzelm
updated for release;
file
|
diff
|
annotate
2013-01-25
wenzelm
updated for release;
file
|
diff
|
annotate
less
more
(0)
-100
-60
tip