Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
Recent Activity
Recent Activity
Today
Today
makarius committed rISABELLEd9b8831a6a99: merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;.
merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;
Added tag Isabelle2024-RC3 for changeset 007e6af8a020
more documentation on "System registry via TOML";
provide 3.1 for testing (inactive);
makarius committed rISABELLE89ed43a49146: update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS….
update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS…
build e-3.1, without patch;
makarius committed rISABELLE8491d5fc0d57: disable Isabelle/Naproche for now: does not quite work on Windows;.
disable Isabelle/Naproche for now: does not quite work on Windows;
makarius committed rISABELLEead20482da9c: build_cluster always uses build_database_server for now -- despite 1fa1b32b0379….
build_cluster always uses build_database_server for now -- despite 1fa1b32b0379…
desharna committed rISABELLEccd76abeae1b: changed URL to SystemOnTPTP at Geoff's request.
changed URL to SystemOnTPTP at Geoff's request
update and activate naproche component for release;
support more Ubuntu versions;
makarius committed rISABELLE680e1618d404: proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca….
proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca…
updated for release;
makarius committed rISABELLE70d69b081561: more robust: avoid spurious ConcurrentModificationException;.
more robust: avoid spurious ConcurrentModificationException;
makarius committed rISABELLEacfe36d6cb05: update to e-3.0.03-1, with proper support for trivial statements;.
update to e-3.0.03-1, with proper support for trivial statements;
makarius committed rISABELLE8e3730b527e9: minor patch for E Prover, based on "git diff -w -r E-3.0.03 E-3.0.08": proper….
minor patch for E Prover, based on "git diff -w -r E-3.0.03 E-3.0.08": proper…
makarius committed rISABELLEe9ea4d88490d: backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;.
backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;
clone of 0c51e0a6bc37;
Yesterday
Yesterday
Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFPbd898445f505: merge.
merge
Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFP106668449b18: update for new submissions.
update for new submissions
Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFPbdfb44a7a3a9: updates for new submissions.
updates for new submissions
Fabian Huch <huch@in.tum.de> committed rAFP9c82ed48752e: add minimal RDF export for metadata (cf. Isabelle/87f90735e6dd);.
add minimal RDF export for metadata (cf. Isabelle/87f90735e6dd);
Tue, Apr 30
Tue, Apr 30
Fabian Huch <huch@in.tum.de> committed rAFPf09f74b716c7: list proper affiliations;.
list proper affiliations;
Mon, Apr 29
Mon, Apr 29
fix(ML_Unification) reintroduce move_to_prems_conv
Sun, Apr 28
Sun, Apr 28
Fri, Apr 26
Fri, Apr 26
update Windows test machines;
Thu, Apr 25
Thu, Apr 25
Wed, Apr 24
Wed, Apr 24
paulson <lp15@cam.ac.uk> committed rISABELLE40a3fc07a587: More tidying of proofs.
More tidying of proofs
tuned proofs: make it work on Windows;
proper platform_path for Windows;
more robust and more portable, notably for Windows;
paulson <lp15@cam.ac.uk> committed rISABELLEb156869b826a: Another Nominal example.
Another Nominal example
paulson <lp15@cam.ac.uk> committed rISABELLEcf11a7f0a5f0: Tidying up another Nominal example (SOS).
Tidying up another Nominal example (SOS)