Index of /pub/FreeBSD-CVS/ncvs/ports/math/isabelle/files/Attic/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
badmaxdsiz,v1.8 KiB2007-Mar-22 11:32
patch-bin-Isabelle,v1.1 KiB2008-Aug-15 04:33
patch-bin-isabelle,v1.1 KiB2008-Aug-15 04:33
patch-bin-isabelle_interface,v1.4 KiB2008-Aug-15 04:33
patch-bin-isabelle_process,v2.0 KiB2008-Aug-15 04:33
patch-bin-isatool,v1.5 KiB2008-Aug-15 04:33
patch-build,v2.0 KiB2008-Aug-15 04:33
patch-lib-Tools-browser,v1.7 KiB2008-Aug-15 04:33
patch-lib-Tools-codegen,v1.0 KiB2008-Aug-15 04:33
patch-lib-Tools-convert,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-dimacs2hol,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-display,v1.7 KiB2008-Aug-15 04:33
patch-lib-Tools-doc,v1.9 KiB2008-Aug-15 04:33
patch-lib-Tools-document,v1.6 KiB2008-Aug-15 04:33
patch-lib-Tools-expandshort,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-findlogics,v1.6 KiB2008-Aug-15 04:33
patch-lib-Tools-fixcpure,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-fixgreek,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-fixheaders,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-fixsome,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-getenv,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-install,v1.9 KiB2008-Aug-15 04:33
patch-lib-Tools-keywords,v1.0 KiB2008-Aug-15 04:33
patch-lib-Tools-latex,v2.9 KiB2008-Aug-15 04:33
patch-lib-Tools-logo,v1.3 KiB2008-Aug-15 04:33
patch-lib-Tools-make,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-makeall,v1.8 KiB2008-Aug-15 04:33
patch-lib-Tools-mkdir,v1.7 KiB2008-Aug-15 04:33
patch-lib-Tools-mkproject,v1.1 KiB2008-Aug-15 04:33
patch-lib-Tools-print,v1.3 KiB2008-Aug-15 04:33
patch-lib-Tools-unsymbolize,v1.2 KiB2008-Aug-15 04:33
patch-lib-Tools-usedir,v2.4 KiB2008-Aug-15 04:33
patch-lib-Tools-version,v1.4 KiB2008-Aug-15 04:33
patch-lib-scripts-configure,v1.0 KiB2008-Aug-15 04:33
patch-lib-scripts-feeder,v1.3 KiB2008-Aug-15 04:33
patch-lib-scripts-fileindent,v926 B2008-Aug-15 04:33
patch-lib-scripts-getsettings,v2.5 KiB2008-Aug-15 04:33
patch-lib-scripts-patch_scripts.bash,v2.0 KiB2008-Aug-15 04:33
patch-lib-scripts-polyml_platform,v1.5 KiB2008-Aug-15 04:33
patch-lib-scripts-polyml_version,v1.5 KiB2008-Aug-15 04:33
patch-lib-scripts-run_mosml,v1.7 KiB2008-Aug-15 04:33
patch-lib-scripts-run_polyml,v2.8 KiB2008-Aug-15 04:33
patch-lib-scripts-run_polyml_5.0,v1.8 KiB2008-Aug-15 04:33
patch-lib-scripts-run_polyml_5.1,v1.8 KiB2008-Aug-15 04:33
patch-lib-scripts-run_poplogml,v1.9 KiB2008-Aug-15 04:33
patch-lib-scripts-run_smlnj,v3.7 KiB2010-Oct-30 18:34
patch-lib-scripts-showtime,v1.3 KiB2008-Apr-04 12:15
patch-lib-scripts-timestart.bash,v1.3 KiB2008-Aug-15 04:33
patch-lib-scripts-timestop.bash,v2.0 KiB2008-Aug-15 04:33
patch-src-HOL-Tools-atp_manager.ML,v1023 B2010-Oct-30 18:34
patch-src-HOL-Tools-atp_wrapper.ML,v1.1 KiB2010-Oct-30 18:34
patch-src-HOL-Tools-int_arith.ML,v1.6 KiB2010-Oct-30 18:34
patch-src-HOL-Tools-int_factor_simprocs.ML,v3.1 KiB2010-Oct-30 18:34
patch-src-HOL-Tools-nat_simprocs.ML,v4.1 KiB2010-Oct-30 18:34
patch-src-Pure-mk,v1.8 KiB2008-Aug-15 04:33
polyml-4.1.4-patch.ML,v1005 B2007-Mar-22 11:32
polyml-4.2.0.ML,v738 B2007-Mar-22 11:32
polyml-5.0.ML,v1.1 KiB2008-Apr-04 12:15
proofgeneral-settings.el,v966 B2008-Apr-04 12:15
run-polyml-5.0,v3.6 KiB2008-Apr-04 12:15
This mirror is sponsored by Your.Org.

This data is available by IPv4 and IPv6, by FTP, HTTP and rsync.

/pub/centos                      CentOS 7/8 mirror
/pub/CentOS-Stream-All		 CentOS 9 mirror
/pub/fedora-epel                 Fedora EPEL
/pub/FreeBSD                     Primary FreeBSD FTP Archive
/pub/FreeBSD-Archive             Historical archive of past releases
/pub/FreeBSD-CVS                 Full CVS Repository
/pub/FreeBSD-Unofficial-Packages Unofficial locally produced packages
/pub/kiwix                       Kiwix mirror
/pub/NetBSD                      NetBSD mirror
/pub/percona                     Percona mirror
/pub/pkgsrc                      NetBSD pkgsrc mirror
/pub/ubuntu/archive              Ubuntu archive
/pub/ubuntu/cdimage              Ubuntu cdimage
/pub/ubuntu/releases             Ubuntu releases
/pub/wikimedia                   Archives from the Wikimedia foundation
/pub/wikimedia/dumps             Wikimedia database dumps
/pub/wikimedia/images            Wikimedia raw images
/pub/wikimedia/imagedumps        Wikimedia image dumps

The above directories are also accessible via anonymous rsync.
Use "rsync ftpmirror.your.org::" to see a list of rsyncable modules.