aboutsummaryrefslogtreecommitdiff
path: root/plugins/extraction/common.mli
AgeCommit message (Expand)Author
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2015-01-11Extraction: minor tweaks to ease ongoing experiments about LambdaPierre Letouzey
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2012-12-18Modulification of Labelppedrot
2012-12-14Modulification of identifierppedrot
2012-08-08Updating headers.herbelin
2012-05-29global_reference migrated from Libnames to new Globnames, less deps in gramma...letouzey
2011-11-28Extraction: Richer patterns in matchs as proposed by P.N. Tollitteletouzey
2011-04-15Extraction: allow extracting Ascii.ascii to native Char in Haskell (fix #2515)letouzey
2011-03-04Extraction: improved indentation of extracted code (fix #2497)letouzey
2010-09-24Dead code in extractionletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-07-05Extraction: (yet another) rework of the renaming codeletouzey
2010-07-02Extraction: no more MPself hence no need for subst during ppletouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-10-21This big commit addresses two problems:soubiran
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:06:02 +0000