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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Isabelle_app-20210126.tar.gz2025-10-07 14:58 7.4K 
[ ]bash_process-20240326.tar.gz2025-10-07 12:08 34K 
[ ]bib2xhtml-20190409.tar.gz2025-10-07 12:08 281K 
[ ]csdp-6.1.1-1.tar.gz2025-10-07 12:08 6.2M 
[ ]cvc5-1.2.0-1.tar.gz2025-10-07 12:08 45M 
[ ]cygwin-20251103.tar.gz2025-11-04 14:19 87M 
[ ]e-3.2.tar.gz2025-10-07 12:08 7.5M 
[ ]easychair-3.5.tar.gz2025-10-07 12:08 1.5M 
[ ]elm-0.19.1.tar.gz2025-10-07 12:08 36M 
[ ]eptcs-1.7.0.tar.gz2025-10-07 12:08 31K 
[ ]find_facts_web-20251022.tar.gz2025-10-22 19:04 261K 
[ ]flatlaf-3.6.2.tar.gz2025-10-22 19:04 940K 
[ ]foiltex-2.1.4b.tar.gz2025-10-07 12:08 389K 
[ ]gnu-utils-20211030.tar.gz2025-10-07 12:08 608K 
[ ]isabelle_fonts-20241227.tar.gz2025-10-07 12:08 3.1M 
[ ]isabelle_setup-20250613.tar.gz2025-10-07 12:08 26K 
[ ]javamail-20251022.tar.gz2025-10-22 19:04 753K 
[ ]jdk-21.0.9.tar.gz2025-11-03 19:27 1.0G 
[ ]jedit-20251128.tar.gz2025-11-29 22:56 20M 
[ ]jfreechart-1.5.3.tar.gz2025-10-07 12:08 4.6M 
[ ]jortho-1.0-2.tar.gz2025-10-07 12:08 1.6M 
[ ]jsoup-1.21.2.tar.gz2025-11-03 19:27 453K 
[ ]jsvg-2.0.0.tar.gz2025-10-07 12:08 627K 
[ ]kodkodi-1.5.7.tar.gz2025-10-07 12:08 3.4M 
[ ]lipics-3.1.3-1.tar.gz2025-11-03 19:27 1.6M 
[ ]llncs-2.25.tar.gz2025-10-07 12:08 225K 
[ ]minisat-2.2.1-2.tar.gz2025-10-07 12:08 3.5M 
[ ]mlton-20241230-1.tar.gz2025-10-07 12:08 61M 
[ ]naproche-20251110.tar.gz2025-11-10 20:10 30M 
[ ]nunchaku-0.5.tar.gz2025-10-07 12:08 5.3M 
[ ]opam-2.0.7.tar.gz2025-10-07 12:08 8.1M 
[ ]pdfjs-5.4.394.tar.gz2025-11-19 10:09 6.2M 
[ ]polyml-5.9.2-2.tar.gz2025-12-06 23:05 37M 
[ ]postgresql-42.7.8.tar.gz2025-11-03 19:27 1.0M 
[ ]prismjs-1.30.0.tar.gz2025-11-19 10:09 664K 
[ ]rsync-3.2.7-1.tar.gz2025-10-07 12:08 3.8M 
[ ]scala-3.3.4.tar.gz2025-10-07 12:08 39M 
[ ]smbc-0.4.1.tar.gz2025-10-07 12:08 3.2M 
[ ]solr-9.9.0.tar.gz2025-10-22 19:04 60M 
[ ]spass-3.8ds-2.tar.gz2025-10-07 12:08 2.1M 
[ ]sqlite-3.51.0.0.tar.gz2025-11-19 10:09 17M 
[ ]stack-2.15.7.tar.gz2025-10-07 12:08 92M 
[ ]sumatra_pdf-3.5.2.tar.gz2025-10-07 17:33 7.7M 
[ ]vampire-4.8.tar.gz2025-10-07 12:08 17M 
[ ]verit-2021.06.2-rmx-3.tar.gz2025-11-16 16:05 4.4M 
[ ]vscode_extension-20251205.tar.gz2025-12-05 21:33 62M 
[ ]vscodium-1.105.17075.tar.gz2025-11-16 16:06 727M 
[ ]windows_app-20250315.tar.gz2025-10-07 17:33 42M 
[ ]xz-java-1.10.tar.gz2025-10-07 12:09 257K 
[ ]z3-4.4.0pre-4.tar.gz2025-10-07 12:09 14M 
[ ]zipperposition-2.1-1.tar.gz2025-10-07 12:09 19M 
[ ]zstd-jni-1.5.7-6.tar.gz2025-11-03 19:27 8.8M 
Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443