aboutsummaryrefslogtreecommitdiff
path: root/lib/coqProject_file.mli
AgeCommit message (Expand)Author
2018-12-04Remove leftover code that used to handle ml4 files.Pierre-Marie Pédrot
2018-11-17[CoqProject] Abstract warning function for CoqProject readers.Emilio Jesus Gallego Arias
2018-10-19Adapt coq_makefile to handle coqpp-based macro files.Pierre-Marie Pédrot
2018-03-09Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...Maxime Dénès
2018-03-06Closes #6830: coqdep reads options and files from _CoqProject.Gaëtan Gilbert
2018-03-01Add source (project file / command line) to project fields.Gaëtan Gilbert
2018-02-28Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-05-23CoqProject_file: document in API deprecated featuresEnrico Tassi
2017-05-23CoqProject_file: API and code cleanup (tuples -> records)Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:25:13 +0000