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-1.3.tar.gz2023-03-08 20:30 62K 
[ ]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-20230711-1.tar.gz2023-07-11 19:02 67M 
[ ]e-2.6-1.tar.gz2023-03-08 20:30 6.6M 
[ ]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-20230206.tar.gz2023-03-08 20:31 25K 
[ ]jdk-17.0.7.tar.gz2023-05-09 21:56 921M 
[ ]jedit-20211103.tar.gz2023-03-08 20:32 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.15.4.tar.gz2023-03-11 20:26 402K 
[ ]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.22.tar.gz2023-03-08 20:32 224K 
[ ]minisat-2.2.1-1.tar.gz2023-03-08 20:32 3.5M 
[ ]mlton-20210117-1.tar.gz2023-03-08 20:32 19M 
[ ]naproche-20230902.tar.gz2023-09-02 11:47 14M 
[ ]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-219e0a248f70.tar.gz2023-08-06 23:08 35M 
[ ]postgresql-42.6.0.tar.gz2023-06-07 16:10 1.0M 
[ ]prismjs-1.29.0.tar.gz2023-03-08 20:33 664K 
[ ]rsync-3.2.7.tar.gz2023-03-30 15:12 3.5M 
[ ]scala-3.3.0.tar.gz2023-06-06 20:27 39M 
[ ]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-jdbc-3.42.0.0-1.tar.gz2023-07-11 14:41 15M 
[ ]stack-2.9.3.tar.gz2023-07-11 14:41 52M 
[ ]sumatra_pdf-3.4.6.tar.gz2023-06-07 12:34 6.7M 
[ ]vampire-4.6.tar.gz2023-03-08 20:33 16M 
[ ]verit-2021.06.2-rmx.tar.gz2023-03-08 20:33 3.6M 
[ ]vscode_extension-20230206.tar.gz2023-03-08 20:33 808K 
[ ]vscodium-1.70.1.tar.gz2023-03-08 20:33 454M 
[ ]windows_app-20181006.tar.gz2023-06-07 12:34 15M 
[ ]xz-java-1.9.tar.gz2023-03-08 20:34 194K 
[ ]z3-4.4.0_4.4.1.tar.gz2023-03-08 20:34 21M 
[ ]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