coq - The formal proof system

Age	Commit message (Collapse)	Author
2014-04-07	Allowing proof view to be detached in CoqIDE.	Pierre-Marie Pédrot

2014-03-12	CoqIDE: Errors page gets red if not empty	Enrico Tassi

2014-03-12	CoqIDE: detachable message/error/jobs panes	Enrico Tassi

2014-03-04	Move error and job display to the lower right pane.	Guillaume Melquiond

2012-12-19	Coqide: cleaner Coq.PrintOpt and session creation	letouzey
	PrintOpt.set now only updates the state Hashtbl of options, a PrintOpt.enforce is mandatory to transmit them to coqtop. This enforce is done for instance by Coq.goals. The various signal handlers about coqide's buffer are now installed in session creation, and not anymore via the coqops initializer. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16105 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-12-10	Coqide: some more refactoring to lighten coqide.ml	letouzey
	Main victim is analyzed_view : - some unnecessary methods have been killed (hep_for_keyword for instance) - some other migrated elsewhere (recenter_input, find_next_occurrence, ...) - analyzed_view is now split in two : fileops (filename, save, revert, ...) and coqops (process_next_phrase, ...) Four new files created: - Sentence (for tag_on_insert and alii) - FileOps (ex-first-half of analyzed_view) - CoqOps (ex-second-half of analyzed_view) - Session (ex-record viewable_script and functions about it) Also lots of renaming, trying to be shorter (but still meaningful) and more uniform git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16057 85f007b7-540e-0410-9357-904b9bb8a0f7