index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
printing
/
genprint.ml
Age
Commit message (
Expand
)
Author
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-02-22
Making structure of type "tolerability" and related clearer.
Hugo Herbelin
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-03-20
Stop accessing proof env via Pfedit in printers
Maxime Dénès
2018-05-31
[notations] Split interpretation and parsing of notations
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-11-24
Extending further PR#6047 (system to register printers for Ltac values).
Hugo Herbelin
2017-11-02
Setting a system to register printers for Ltac values.
Hugo Herbelin
2017-11-02
Using a specific function to register vernac printers.
Hugo Herbelin
2017-07-27
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2016-09-08
Unplugging Pptactic from Ppvernac.
Pierre-Marie Pédrot
2016-03-19
Removing the untyped representation of genargs.
Pierre-Marie Pédrot
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2016-01-17
Getting rid of the awkward unpack mechanism from Genarg.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2014-08-29
Simplification of Genarg unpackers.
Pierre-Marie Pédrot
2014-03-05
Remove many superfluous 'open' indicated by ocamlc -w +33
Pierre Letouzey
2014-01-19
Adding a default object to generic argument registering mechanism.
Pierre-Marie Pédrot
2013-06-21
Splitted up Genarg in four different levels:
ppedrot
