coq - The formal proof system

Age	Commit message (Expand)	Author
2021-02-26	[coqc] Don't allow to pass more than one file to coqc	Emilio Jesus Gallego Arias
2021-01-27	[coqc] move -output-context from sysinit/coqargs to coqc proper	Enrico Tassi
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-12-12	Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...	charguer
2019-11-01	Implementing support for vos/vok files.	charguer
2019-09-09	Merge PR #10605: [toplevel] Make all argument lists to be in user-declared or...	Hugo Herbelin
2019-08-26	[glob/aux files] Remove undocumented Stdout dump, cleanup flags.	Emilio Jesus Gallego Arias
2019-07-31	[toplevel] Make all argument lists to be in user-declared order.	Emilio Jesus Gallego Arias
2019-06-18	[errors] remove "is_handled" logic, turn unhandled into anomalies	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-25	Coqc: Treat unknown arguments starting with dash as unknown options rather th...	Hugo Herbelin
2019-05-14	Coqc: Ensure that at most one file is given when -o is also given.	Hugo Herbelin
2019-05-14	Coqc: Ensure exclusiveness of options -quick and -vio2vo.	Hugo Herbelin
2019-05-14	Option -check-vio-tasks: fail gracefully when not finding expected integers.	Hugo Herbelin
2019-02-01	[toplevel] Split interactive toplevel and compiler binaries.	Emilio Jesus Gallego Arias