isabelle: Graph

tuned messages;
8 months ago, by Fabian Huch
clarified web server paths;
8 months ago, by Fabian Huch
sort web app parameters in list;
8 months ago, by Fabian Huch
proper available hosts;
8 months ago, by Fabian Huch
tuned proof
8 months ago, by desharna
tuned comments;
8 months ago, by Fabian Huch
add build_manager_database tool to restore db from log files;
8 months ago, by Fabian Huch
use build log in build manager to store meta-data persistently;
8 months ago, by Fabian Huch
add build log format for managed builds;
8 months ago, by Fabian Huch
improve build manager log (for build_log);
8 months ago, by Fabian Huch
clarified;
8 months ago, by Fabian Huch
proper web server address;
8 months ago, by Fabian Huch
clarified names: more canonical;
8 months ago, by Fabian Huch
clarified;
8 months ago, by Fabian Huch
remove unused;
8 months ago, by Fabian Huch
tuned;
8 months ago, by Fabian Huch
fixed NEWS
8 months ago, by desharna
merged
8 months ago, by wenzelm
tuned signature: more exports;
8 months ago, by wenzelm
clarified signature: prefer internal Thm_Name.T over external Facts.ref;
8 months ago, by wenzelm
more robust / permissive;
8 months ago, by wenzelm
clarified signature: more operations;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified operations, following pretty_thm_name;
8 months ago, by wenzelm
more accurate treatment of Thm_Name.T;
8 months ago, by wenzelm
renamed lemmas
8 months ago, by desharna
merged
8 months ago, by desharna
renamed theorems
8 months ago, by desharna
renamed theorems
8 months ago, by desharna
add title;
8 months ago, by Fabian Huch
use build_cluster in ci builds;
8 months ago, by Fabian Huch
merged
8 months ago, by desharna
tuned alias names in formulas
8 months ago, by desharna
renamed theorems
8 months ago, by desharna
add favicon to web app;
8 months ago, by Fabian Huch
merged
8 months ago, by wenzelm
clarified data representation: prefer explicit type Thm_Name;
8 months ago, by wenzelm
more operations, following Isabelle/ML;
8 months ago, by wenzelm
clarified signature: more explicit operations;
8 months ago, by wenzelm
clarified treatment of Thm_Name.T (again, see also 8a9588ffc133);
8 months ago, by wenzelm
clarified operations, including exceptions;
8 months ago, by wenzelm
tuned: more direct Isabelle/ML;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
more accurate thm "name_hint", using Thm_Name.T;
8 months ago, by wenzelm
more operationsd;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
clarified output, following Consumer_Thread.failure;
8 months ago, by wenzelm
more informative exception output, with optional trace;
8 months ago, by wenzelm
more accurate output of Thm_Name.T wrt. facts name space;
8 months ago, by wenzelm
clarified signature: more operations;
8 months ago, by wenzelm
tuned structure;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
more accurate Thm_Name.T for PThm / Thm.name_derivation / Thm.derivation_name;
8 months ago, by wenzelm
clarified signature: prefer explicit operation;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
tuned: prefer Thm_Name operations;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
prefer dynamic position from command transaction;
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
clarified signature: more explicit preprocessing;
8 months ago, by wenzelm
clarified signature: separate formal context from exported theory_name;
8 months ago, by wenzelm
tuned signature: just one ZThm is sufficient;
8 months ago, by wenzelm
renamed lemmas
8 months ago, by desharna
build manager: echo error messages to server output;
8 months ago, by Fabian Huch
omit showing previous failures for user builds;
8 months ago, by Fabian Huch
always handle interrupted jobs;
8 months ago, by Fabian Huch
add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
8 months ago, by Fabian Huch
clarified context: operations now in build process;
8 months ago, by Fabian Huch
clarified: add explicit build process;
8 months ago, by Fabian Huch
remove unnecessary subdir;
8 months ago, by Fabian Huch
tuned;
8 months ago, by Fabian Huch
tuned proof: avoid smt/z3 to make this work with arm64-linux;
8 months ago, by wenzelm
proper afp_directory (amending 9308bc5f65d6);
8 months ago, by wenzelm
clarified names;
8 months ago, by wenzelm
clarified name: avoid clash with Library.Update;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
tuned whitespace;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
merged
8 months ago, by wenzelm
more informative ZBox;
8 months ago, by wenzelm
more operations;
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
remove unused (see also 04214caeb9ac);
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
add triggers to ci jobs: on commit vs timed;
8 months ago, by Fabian Huch
manage components of ci builds;
8 months ago, by Fabian Huch
use external CSS for build manager page;
8 months ago, by Fabian Huch
more build manager page;
8 months ago, by Fabian Huch
more page elements;
8 months ago, by Fabian Huch
web app: add automatic resize;
8 months ago, by Fabian Huch
ensure permissions when starting build task (e.g., due to misconfigured client);
8 months ago, by Fabian Huch
add verbose option to build_task;
8 months ago, by Fabian Huch
tuned;
8 months ago, by Fabian Huch
build manager: manage directories/permissions, to minimize local administration;
8 months ago, by Fabian Huch
read prefs properly;
8 months ago, by Fabian Huch
allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
8 months ago, by Fabian Huch
web app: proper document height;
8 months ago, by Fabian Huch
merged
8 months ago, by nipkow
replace manual def. of timing function
8 months ago, by nipkow
add build manager module;
8 months ago, by Fabian Huch
support ci job via hg_sync (cf. 7883f221d6d3);
8 months ago, by Fabian Huch
tuned;
8 months ago, by Fabian Huch
use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);
8 months ago, by Fabian Huch
merged
8 months ago, by paulson
Simplification of sin, cos, exp of multiples of pi
8 months ago, by paulson
minor performance tuning: more compact data;
8 months ago, by wenzelm
removed unused/inefficient size_of_proof (see also 2241191a3c54);
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
more robust: avoid crash of sleep() for negative time;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
clarified signature: more explicit types;
8 months ago, by wenzelm
support "rsync --chmod --chown" via Rsync.Context;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
bash: proper bash_process via SSH;
8 months ago, by wenzelm
clarified signature: support explicit cwd;
8 months ago, by wenzelm
support bash via SSH;
8 months ago, by wenzelm
clarified comments;
8 months ago, by wenzelm
proper support for remote cwd;
8 months ago, by wenzelm
clarified context for (remote) bash scripts: export variables are optional, support cwd;
8 months ago, by wenzelm
more operations for SSH.System: bash_process and bash;
8 months ago, by wenzelm
unused;
8 months ago, by wenzelm
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
8 months ago, by wenzelm
minor performance tuning;
8 months ago, by wenzelm
merged
8 months ago, by wenzelm
minor performance tuning: save approx. 70ms per SSH command;
8 months ago, by wenzelm
minor performance tuning: save approx. 70ms per SSH command;
8 months ago, by wenzelm
minor performance tuning: save approx. 70ms per SSH test command;
8 months ago, by wenzelm
suport Isabelle_System.bash via SSH.System;
8 months ago, by wenzelm
more operations;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
obsolete: macOS 10.x is no longer supported (see also 059743bc8311);
8 months ago, by wenzelm
tuned tmp name;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
tuned comments;
8 months ago, by wenzelm
merged
8 months ago, by nipkow
pretty-printing sledgehammer command: merge indexed theorems
8 months ago, by nipkow
clarify routes: absolute in api and relative for frontend;
8 months ago, by Fabian Huch
add auto-reload for more interactive web apps;
8 months ago, by Fabian Huch
clarified web app endpoints;
8 months ago, by Fabian Huch
proper html script tag: source code must not be escaped;
9 months ago, by Fabian Huch
add explicit Content-Length header to http response (otherwise it is missing in HEAD responses);
9 months ago, by Fabian Huch
add HEAD to http server: should send same header fields as if request was GET;
9 months ago, by Fabian Huch
tuned;
9 months ago, by wenzelm
tuned spelling;
9 months ago, by wenzelm
support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
more general dirs for Sync.sync;
9 months ago, by wenzelm
tuned whitespace (amending beb4ee344c22);
9 months ago, by wenzelm
clarified signature (see also be0ab4b94c62 and c41791ad75c3);
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
tuned names;
9 months ago, by wenzelm
proper SSH.System operation;
9 months ago, by wenzelm
clarified modules;
9 months ago, by wenzelm
more uniform/robust detect_repository/is_repository: actually check hg root;
9 months ago, by wenzelm
more uniform local/remote operations;
9 months ago, by wenzelm
disable Isabelle/Naproche after release;
9 months ago, by wenzelm
post-release updates;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
Added tag Isabelle2024 for changeset 29f2b8ff84f3
9 months ago, by wenzelm
proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f); Isabelle2024
9 months ago, by wenzelm
provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;
9 months ago, by wenzelm
update to naproche-20240519;
9 months ago, by wenzelm
proper formatting;
9 months ago, by wenzelm
more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";
9 months ago, by wenzelm
More binomial material
9 months ago, by paulson
syntax of gchoose now the same as choose
9 months ago, by paulson
Some new simprules – and patches for proofs
9 months ago, by paulson
merged
9 months ago, by paulson
merged
9 months ago, by paulson
A little more tidying in Nominal
9 months ago, by paulson
tuned proofs;
9 months ago, by wenzelm
merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;
9 months ago, by wenzelm
Added tag Isabelle2024-RC3 for changeset 007e6af8a020
9 months ago, by wenzelm
more documentation on "System registry via TOML";
9 months ago, by wenzelm
update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows;
9 months ago, by wenzelm
provide 3.1 for testing (inactive);
9 months ago, by wenzelm
build e-3.1, without patch;
9 months ago, by wenzelm
disable Isabelle/Naproche for now: does not quite work on Windows;
9 months ago, by wenzelm
update and activate naproche component for release;
9 months ago, by wenzelm
changed URL to SystemOnTPTP at Geoff's request
9 months ago, by desharna
tuned spelling;
9 months ago, by wenzelm
build_cluster always uses build_database_server for now -- despite 1fa1b32b0379: its local/remote storage model often leads to incoherent state;
10 months ago, by wenzelm
proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;
10 months ago, by wenzelm
support more Ubuntu versions;
10 months ago, by wenzelm
updated for release;
10 months ago, by wenzelm
more robust: avoid spurious ConcurrentModificationException;
10 months ago, by wenzelm
update to e-3.0.03-1, with proper support for trivial statements;
10 months ago, by wenzelm
more robust;
10 months ago, by wenzelm
minor patch for E Prover, based on "git diff -w -r E-3.0.03 E-3.0.08": proper support for trivial statements;
10 months ago, by wenzelm
backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;
10 months ago, by wenzelm
clone of 0c51e0a6bc37;
10 months ago, by wenzelm
update Windows test machines;
10 months ago, by wenzelm
More tidying of proofs
10 months ago, by paulson
Another Nominal example
10 months ago, by paulson
merged
10 months ago, by paulson
Tidying up another Nominal example (SOS)
10 months ago, by paulson
update Windows build host;
10 months ago, by wenzelm
proper command-line;
10 months ago, by wenzelm
Tidying up another of the nominal examples
10 months ago, by paulson
More tidying of Nominal proofs
10 months ago, by paulson
Tidied up another messy theory
10 months ago, by paulson
More proof tidying for Nominal
10 months ago, by paulson
Tidying up more messy proofs
10 months ago, by paulson
Starting to tidy HOL-Nominal-Examples
10 months ago, by paulson
sketch & explore: recover from duplicate fixed variables in Isar proofs
10 months ago, by Simon Wimmer
back to post-release mode -- after fork point;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
Added tag Isabelle2024-RC2 for changeset ef2134570abb
10 months ago, by wenzelm
Acknowledgement of Ata Keskin for his Martingales material
10 months ago, by paulson
merged
10 months ago, by wenzelm
update to jdk-21.0.3;
10 months ago, by wenzelm
merged
10 months ago, by paulson
Tidied up horrible archaic proofs
10 months ago, by paulson
clarified signature;
10 months ago, by wenzelm
make adhoc_overloading respect type constraints
10 months ago, by Kevin Kappelmann
merged
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
minor performance tuning: avoid redundant server access;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified modules and options (from store);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
10 months ago, by wenzelm
tuned messages;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm