Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+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.
A few new results (mostly brought in from other developments)
16 months ago, by paulson
merged
16 months ago, by nipkow
Added time function automation
16 months ago, by nipkow
streamlined type class specification
16 months ago, by haftmann
consolidated lemma name
16 months ago, by haftmann
support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
update links;
16 months ago, by wenzelm
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
16 months ago, by wenzelm
refer to "localhost" as pro-forma domain;
16 months ago, by wenzelm
simplified specification of type class
16 months ago, by haftmann
consolidated name of lemma analogously to nat/int/word_bit_induct
16 months ago, by haftmann
more accurate syntax: 'obtain' vars are optional;
16 months ago, by wenzelm
clarified order, disregard structure of proof;
16 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
tip