aboutsummaryrefslogtreecommitdiff
path: root/toplevel/discharge.mli
AgeCommit message (Expand)Author
2017-02-15[stm] Break stm/toplevel dependency loop.Emilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2015-01-12Update headers.Maxime Dénès
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2014-02-26Lazyconstr -> OpaqueproofEnrico Tassi
2014-02-26New compilation mode -vi2voEnrico Tassi
2013-04-29Merging Context and Sign.ppedrot
2012-08-08Updating headers.herbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2005-02-18Moving centralised discharge into dispatched discharge_function; required to ...herbelin
2004-07-16Nouvelle en-têteherbelin
2001-08-10Parsingherbelin
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-11-20Tables séparées pour chaque type de global; calcul de la Nametab de la sect...herbelin
1999-12-13documentation interfacesfilliatr
1999-12-08deplacement de Discharge dans toplevelfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 00:21:32 +0000