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.
tuned;
12 months ago, by wenzelm
clarified modules;
12 months ago, by wenzelm
recover Url.is_wellformed from before d8330439823a, e.g. relevant for JEdit_Resources.read_file_content (the URI alone does not necessarily have a protocol prefix, so plain file-path would be treated as URL);
12 months ago, by wenzelm
proper php-fpm configuration for nginx;
12 months ago, by wenzelm
support multiple webservers: Apache or Nginx;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature: explicit type isabelle.Url to avoid oddities of java.net.URL (e.g. its "equals" method);
12 months ago, by wenzelm
unused;
12 months ago, by wenzelm
enforce rebuild of Isabelle/Scala + Isabelle/ML;
12 months ago, by wenzelm
updated to postgresql-42.7.1;
12 months ago, by wenzelm
updated to sqlite-jdbc-3.45.0.0, including slf4j-1.7.36;
12 months ago, by wenzelm
update to llncs-2.23;
12 months ago, by wenzelm
clarified bootstrap;
12 months ago, by wenzelm
clarified directories;
12 months ago, by wenzelm
clarified directories;
12 months ago, by wenzelm
obsolete (see also fc88b943e1b2);
12 months ago, by wenzelm
proper output, following 2cd23d587db9;
12 months ago, by wenzelm
always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);
12 months ago, by wenzelm
clarified directories;
12 months ago, by wenzelm
more accurate Isabelle versions;
12 months ago, by wenzelm
more accurate Ubuntu versions;
12 months ago, by wenzelm
more uses of define_time_fun
12 months ago, by nipkow
translation to time functions now with canonical let.
13 months ago, by nipkow
merged
13 months ago, by paulson
A few new results (mostly brought in from other developments)
13 months ago, by paulson
merged
13 months ago, by nipkow
Added time function automation
13 months ago, by nipkow
streamlined type class specification
13 months ago, by haftmann
consolidated lemma name
13 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";
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-32
+32
+50
+100
+300
+1000
tip