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
-28
+28
+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.
Type class patch suggested by Achim Brucker, plus tidied lemma
11 months ago, by paulson
rearranged and reformulated abstract classes for bit structures and operations
11 months ago, by haftmann
Three new lemmas
11 months ago, by paulson
tuned proof: avoid z3 to make it work on arm64-linux;
11 months ago, by wenzelm
update to jdk-21.0.2;
11 months ago, by wenzelm
make build process state protected to avoid copying in subclasses (e.g. for database connections);
11 months ago, by Fabian Huch
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
11 months ago, by Fabian Huch
clarified Mercurial version: presumably the last version that supports both python2 and python3;
11 months ago, by wenzelm
more robust: avoid crash on non-Linux systems;
11 months ago, by wenzelm
clarified webserver names;
11 months ago, by wenzelm
proper Apache.php_name;
11 months ago, by wenzelm
proper packages for mercurial_setup on Ubuntu 22.04: building from source provides hgweb modules, and also provides a defined version (6.1.1 is also provided by Ubuntu 22.04);
11 months ago, by wenzelm
tuned source structure;
11 months ago, by wenzelm
more robust systemd configuration;
11 months ago, by wenzelm
more robust nginx configuration, notably for "certbot --nginx -d DOMAIN";
11 months ago, by wenzelm
tuned whitespace in generated file;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified modules;
11 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);
11 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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
tip