Files

 master

/

pretyping

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

maximedenes

Merge branch 'v8.7'

Jul 20, 2017

945d7bf · Jul 20, 2017

History

History

 

 

/

pretyping

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
arguments_renaming.ml		arguments_renaming.ml	Bump year in headers.	Jul 4, 2017
arguments_renaming.mli		arguments_renaming.mli	Bump year in headers.	Jul 4, 2017
cases.ml		cases.ml	Bump year in headers.	Jul 4, 2017
cases.mli		cases.mli	Bump year in headers.	Jul 4, 2017
cbv.ml		cbv.ml	Bump year in headers.	Jul 4, 2017
cbv.mli		cbv.mli	Bump year in headers.	Jul 4, 2017
classops.ml		classops.ml	Safer API for constr_of_global, and getting rid of unsafe_constr_of_g…	Jul 13, 2017
classops.mli		classops.mli	Bump year in headers.	Jul 4, 2017
coercion.ml		coercion.ml	Bump year in headers.	Jul 4, 2017
coercion.mli		coercion.mli	Bump year in headers.	Jul 4, 2017
constr_matching.ml		constr_matching.ml	Bump year in headers.	Jul 4, 2017
constr_matching.mli		constr_matching.mli	Bump year in headers.	Jul 4, 2017
detyping.ml		detyping.ml	Bump year in headers.	Jul 4, 2017
detyping.mli		detyping.mli	Bump year in headers.	Jul 4, 2017
doc.tex		doc.tex	ocamlweb	Nov 30, 1999
evarconv.ml		evarconv.ml	Getting rid of AUContext abstraction breakers in Recordops.	Jul 13, 2017
evarconv.mli		evarconv.mli	Bump year in headers.	Jul 4, 2017
evardefine.ml		evardefine.ml	Bump year in headers.	Jul 4, 2017
evardefine.mli		evardefine.mli	Bump year in headers.	Jul 4, 2017
evarsolve.ml		evarsolve.ml	Merge branch 'v8.6'	Jul 4, 2017
evarsolve.mli		evarsolve.mli	Bump year in headers.	Jul 4, 2017
find_subterm.ml		find_subterm.ml	Bump year in headers.	Jul 4, 2017
find_subterm.mli		find_subterm.mli	Bump year in headers.	Jul 4, 2017
glob_ops.ml		glob_ops.ml	Bump year in headers.	Jul 4, 2017
glob_ops.mli		glob_ops.mli	Bump year in headers.	Jul 4, 2017
indrec.ml		indrec.ml	Bump year in headers.	Jul 4, 2017
indrec.mli		indrec.mli	Bump year in headers.	Jul 4, 2017
inductiveops.ml		inductiveops.ml	Bump year in headers.	Jul 4, 2017
inductiveops.mli		inductiveops.mli	Bump year in headers.	Jul 4, 2017
locusops.ml		locusops.ml	Bump year in headers.	Jul 4, 2017
locusops.mli		locusops.mli	Bump year in headers.	Jul 4, 2017
miscops.ml		miscops.ml	Bump year in headers.	Jul 4, 2017
miscops.mli		miscops.mli	Bump year in headers.	Jul 4, 2017
nativenorm.ml		nativenorm.ml	Bump year in headers.	Jul 4, 2017
nativenorm.mli		nativenorm.mli	Bump year in headers.	Jul 4, 2017
patternops.ml		patternops.ml	Bump year in headers.	Jul 4, 2017
patternops.mli		patternops.mli	Bump year in headers.	Jul 4, 2017
pretype_errors.ml		pretype_errors.ml	Bump year in headers.	Jul 4, 2017
pretype_errors.mli		pretype_errors.mli	Bump year in headers.	Jul 4, 2017
pretyping.ml		pretyping.ml	Safer API for constr_of_global, and getting rid of unsafe_constr_of_g…	Jul 13, 2017
pretyping.mli		pretyping.mli	Bump year in headers.	Jul 4, 2017
pretyping.mllib		pretyping.mllib	Moving Evarutil and Proofview to engine/	Mar 20, 2016
program.ml		program.ml	Bump year in headers.	Jul 4, 2017
program.mli		program.mli	Bump year in headers.	Jul 4, 2017
recordops.ml		recordops.ml	Getting rid of AUContext abstraction breakers in Recordops.	Jul 13, 2017
recordops.mli		recordops.mli	Getting rid of AUContext abstraction breakers in Recordops.	Jul 13, 2017
redops.ml		redops.ml	Bump year in headers.	Jul 4, 2017
redops.mli		redops.mli	Bump year in headers.	Jul 4, 2017
reductionops.ml		reductionops.ml	Merge branch 'v8.7'	Jul 20, 2017
reductionops.mli		reductionops.mli	Bump year in headers.	Jul 4, 2017
retyping.ml		retyping.ml	Bump year in headers.	Jul 4, 2017
retyping.mli		retyping.mli	Bump year in headers.	Jul 4, 2017
tacred.ml		tacred.ml	Bump year in headers.	Jul 4, 2017
tacred.mli		tacred.mli	Bump year in headers.	Jul 4, 2017
typeclasses.ml		typeclasses.ml	Remove the function Global.type_of_global_unsafe.	Jul 13, 2017
typeclasses.mli		typeclasses.mli	Make the typeclass implementation fully compatible with universe poly…	Jul 13, 2017
typeclasses_errors.ml		typeclasses_errors.ml	Bump year in headers.	Jul 4, 2017
typeclasses_errors.mli		typeclasses_errors.mli	Bump year in headers.	Jul 4, 2017
typing.ml		typing.ml	Bump year in headers.	Jul 4, 2017
typing.mli		typing.mli	Bump year in headers.	Jul 4, 2017
unification.ml		unification.ml	Bump year in headers.	Jul 4, 2017
unification.mli		unification.mli	Bump year in headers.	Jul 4, 2017
vnorm.ml		vnorm.ml	Safe API for accessing universe constraints of global references.	Jul 11, 2017
vnorm.mli		vnorm.mli	Bump year in headers.	Jul 4, 2017
View all files