coq - The formal proof system

Age	Commit message (Expand)	Author
2018-09-17	Ensure_prev_proof returns a proof that has underlying differences from	Jim Fehrle
2018-07-31	Code to handle "Back" command for diffs.	Jim Fehrle
2018-07-07	Introduce a Pcoq.Entry module for functions that ought to be exported.	Pierre-Marie Pédrot
2018-04-18	Merge PR #7281: [stm] push functional API further	Emilio Jesus Gallego Arias
2018-04-17	[stm] push functional API further	Enrico Tassi
2018-04-17	[stm] expose restore/backup since ~doc is (still) dummy	Enrico Tassi
2018-03-31	[doc] Add some more documentation to STM API.	Emilio Jesus Gallego Arias
2018-03-09	[located] More work towards using CAst.t	Emilio Jesus Gallego Arias
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-05	[stm] [toplevel] Make loadpath a parameter of the document.	Emilio Jesus Gallego Arias
2018-01-31	[stm] Move options to a per-document record.	Emilio Jesus Gallego Arias
2017-12-20	Separate vernac controls and regular commands.	Maxime Dénès
2017-12-11	[flags] [stm] Reorganize flags.	Emilio Jesus Gallego Arias
2017-11-19	[plugins] Prepare plugin API for functional handling of state.	Emilio Jesus Gallego Arias
2017-10-17	[stm] Move interpretation state to Vernacentries	Emilio Jesus Gallego Arias
2017-10-11	[stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)	Emilio Jesus Gallego Arias
2017-10-06	[stm] Switch to a functional API	Emilio Jesus Gallego Arias
2017-10-06	[stm] [flags] Move document mode flags to the STM.	Emilio Jesus Gallego Arias
2017-09-19	Add XML protocol support for Wait.	Maxime Dénès
2017-06-18	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias
2017-05-24	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias
2017-04-27	Remove unused [open] statements	Gaetan Gilbert
2017-04-25	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias
2017-04-12	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias
2017-04-12	[stm] Move main parsing entry point to the STM.	Emilio Jesus Gallego Arias
2017-04-12	[stm] Remove edit_id.	Emilio Jesus Gallego Arias
2017-04-07	[stm] remove process_error_hook	Emilio Jesus Gallego Arias
2017-04-07	[stm] remove tactic_being_run hook	Emilio Jesus Gallego Arias
2017-02-15	[stm] Remove unused legacy stm interface.	Emilio Jesus Gallego Arias
2017-02-15	[stm] Reenable Show Script command.	Emilio Jesus Gallego Arias
2017-02-15	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias
2016-10-18	[stm] Fix record field name clash.	Emilio Jesus Gallego Arias
2016-06-06	STM: proof block detection made optional + simple test	Enrico Tassi
2016-06-06	STM: proof block detection/error resilience API	Enrico Tassi
2016-06-06	STM: invalid states are first class citizens	Enrico Tassi
2016-06-02	Move serialization functions out of Stm	Emilio Jesus Gallego Arias
2016-05-23	typos	Enrico Tassi
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-15	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès
2016-01-11	CLEANUP: removing unnecessary wrapper	Matej Kosik
2015-10-30	Add a way to get the right fix_exn in external vernacular commands	Matthieu Sozeau
2015-10-09	STM: Added functions for saving and restoring the internal state	Alec Faithfull
2015-10-09	STM: Pass exception information to unreachable_state_hook functions	Alec Faithfull
2015-10-08	STM: for PIDE based UIs, edit_at requires no Reach.known_state	Enrico Tassi
2015-01-07	Hook when state arrives on master.	Enrico Tassi
2015-01-06	rename: vi -> vio	Enrico Tassi
2014-12-17	STM: simplify state management	Enrico Tassi
2014-12-16	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot
2014-11-27	STM: hook called whenever a state is unreachable	Enrico Tassi
2014-11-27	AsyncTaskQueue: parsin can also happen in the workers now	Enrico Tassi