Index of /research/hvg/Isabelle/dist/contrib

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Isabelle_app-20210126.tar.gz2023-06-07 10:44 7.4K 
[ ]bash_process-20240326.tar.gz2024-03-26 20:18 34K 
[ ]bib2xhtml-20190409.tar.gz2023-03-08 20:30 281K 
[ ]csdp-6.1.1.tar.gz2023-03-08 20:30 6.1M 
[ ]cvc4-1.8.tar.gz2023-03-08 20:30 24M 
[ ]cygwin-20240305.tar.gz2024-03-05 21:10 74M 
[ ]e-3.0.03-1.tar.gz2024-04-28 12:43 7.4M 
[ ]easychair-3.5.tar.gz2023-03-08 20:31 1.5M 
[ ]eptcs-1.7.0.tar.gz2023-03-08 20:31 31K 
[ ]flatlaf-2.6.tar.gz2023-07-10 21:32 675K 
[ ]foiltex-2.1.4b.tar.gz2023-03-08 20:31 389K 
[ ]gnu-utils-20211030.tar.gz2023-03-08 20:30 608K 
[ ]idea-icons-20210508.tar.gz2023-03-08 20:31 1.7M 
[ ]isabelle_fonts-20211004.tar.gz2023-03-08 20:31 3.1M 
[ ]isabelle_setup-20240327.tar.gz2024-03-27 14:56 25K 
[ ]javamail-20240109.tar.gz2024-01-10 21:42 739K 
[ ]jdk-21.0.3.tar.gz2024-04-17 21:58 1.0G 
[ ]jedit-20240425.tar.gz2024-04-28 12:43 11M 
[ ]jfreechart-1.5.3.tar.gz2023-03-08 20:32 4.6M 
[ ]jortho-1.0-2.tar.gz2023-03-08 20:32 1.6M 
[ ]jsoup-1.17.2.tar.gz2024-03-21 22:12 401K 
[ ]kodkodi-1.5.7.tar.gz2023-03-08 20:32 3.4M 
[ ]lipics-3.1.3.tar.gz2023-07-10 21:32 1.6M 
[ ]llncs-2.23.tar.gz2024-01-20 21:28 226K 
[ ]minisat-2.2.1-1.tar.gz2023-03-08 20:32 3.5M 
[ ]mlton-20210117-3.tar.gz2024-03-21 22:12 37M 
[ ]naproche-20240519.tar.gz2024-05-19 15:03 24M 
[ ]nunchaku-0.5.tar.gz2023-03-08 20:33 5.3M 
[ ]opam-2.0.7.tar.gz2023-03-08 20:33 8.1M 
[ ]pdfjs-2.14.305.tar.gz2023-03-08 20:33 5.6M 
[ ]polyml-5.9.1.tar.gz2023-10-14 19:50 37M 
[ ]postgresql-42.7.3.tar.gz2024-03-21 13:30 1.0M 
[ ]prismjs-1.29.0.tar.gz2023-03-08 20:33 664K 
[ ]rsync-3.2.7-1.tar.gz2024-04-03 10:26 3.8M 
[ ]scala-3.3.3.tar.gz2024-03-01 20:24 38M 
[ ]smbc-0.4.1.tar.gz2023-03-08 20:33 3.2M 
[ ]spass-3.8ds-2.tar.gz2023-03-08 20:33 2.1M 
[ ]sqlite-3.45.2.0.tar.gz2024-03-21 13:44 16M 
[ ]stack-2.15.5.tar.gz2024-04-02 18:19 91M 
[ ]sumatra_pdf-3.5.2.tar.gz2024-04-03 11:00 7.7M 
[ ]vampire-4.8.tar.gz2023-10-31 18:03 17M 
[ ]verit-2021.06.2-rmx-1.tar.gz2024-01-31 21:45 3.5M 
[ ]vscode_extension-20230206.tar.gz2023-03-08 20:33 808K 
[ ]vscodium-1.70.1.tar.gz2023-03-08 20:33 454M 
[ ]windows_app-20240205.tar.gz2024-03-05 21:10 34M 
[ ]xz-java-1.9.tar.gz2023-03-08 20:34 194K 
[ ]z3-4.4.0pre-4.tar.gz2024-03-05 19:50 14M 
[ ]zipperposition-2.1-1.tar.gz2023-03-08 20:34 19M 
[ ]zstd-jni-1.5.5-4.tar.gz2023-06-07 16:10 7.5M 
Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443