coq - The formal proof system

Age	Commit message (Expand)	Author
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