Commits

History for

Commits on Aug 11, 2024

Factor out loader functions and core loads as hol_loader.ml and hol_lib.ml
aqjune-aws
committed
3a7e062

Commits on Apr 5, 2024

Made some initial changes to support OCaml version 5. This is mainly
jrh13
committed
b388ce4

Commits on Jul 17, 2023

Renamed documentation files from .doc to .hlp, to avoid trouble
jrh13
committed
1c79f16

Commits on Sep 12, 2016

Systematically renamed instances of "&" to "&&" and "or" to "||" to avoid
jrh13
committed
970121c

Commits on Jan 6, 2013

Updated the typechecker with a new version from Vincent Aravantinos
jrh013
committed
11c07fb

Commits on Mar 8, 2010

Moved more hol-online changes upstream, adding explicit "needs"
jrh013
committed
b559780

Commits on Feb 13, 2010

Initial checkin
jrh013
committed
e736197

Loading