isabelle: File revisions

src/Pure/Tools/phabricator.scala

Sat, 01 Jun 2024 12:31:06 +0200	wenzelm	clarified signature: prefer symbolic isabelle.Path over physical java.io.File;	file \| diff \| annotate
Tue, 23 Jan 2024 23:15:51 +0100	wenzelm	clarified Mercurial version: presumably the last version that supports both python2 and python3;	file \| diff \| annotate
Tue, 23 Jan 2024 21:00:54 +0100	wenzelm	more robust: avoid crash on non-Linux systems;	file \| diff \| annotate
Tue, 23 Jan 2024 20:50:24 +0100	wenzelm	clarified webserver names;	file \| diff \| annotate
Tue, 23 Jan 2024 20:10:40 +0100	wenzelm	proper Apache.php_name;	file \| diff \| annotate
Tue, 23 Jan 2024 19:56:52 +0100	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);	file \| diff \| annotate
Tue, 23 Jan 2024 19:39:49 +0100	wenzelm	tuned source structure;	file \| diff \| annotate
Tue, 23 Jan 2024 16:30:29 +0100	wenzelm	more robust systemd configuration;	file \| diff \| annotate

isabelle