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
-32
+32
+50
+100
+300
+1000
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.
streamlined type class specification
12 months ago, by haftmann
consolidated lemma name
12 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";
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
update links;
12 months ago, by wenzelm
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
12 months ago, by wenzelm
refer to "localhost" as pro-forma domain;
12 months ago, by wenzelm
simplified specification of type class
12 months ago, by haftmann
consolidated name of lemma analogously to nat/int/word_bit_induct
12 months ago, by haftmann
more accurate syntax: 'obtain' vars are optional;
12 months ago, by wenzelm
clarified order, disregard structure of proof;
12 months ago, by wenzelm
minor performance tuning;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
more thorough treatment of hidden type variables within zproof;
12 months ago, by wenzelm
more uniform treatment of "hyps" within zproof;
12 months ago, by wenzelm
clarified order: follow Thm.fold_terms;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified test: no exception yet;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned signature: more direct operations;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature: more direct operations;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
minor performance tuning, for important special case where consts are already expanded (e.g. re-certification within proof procedure);
12 months ago, by wenzelm
tuned whitespace;
12 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-32
+32
+50
+100
+300
+1000
tip