aboutsummaryrefslogtreecommitdiff
path: root/ide/ide.mllib
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2019-04-30Renaming nanoPG to microPG.Hugo Herbelin
2019-03-22Merge PR #8560: Unicode bindings for CoqIDE that works out of the boxPierre-Marie Pédrot
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-18final polishing for coqide bindingscharguer
2018-05-24[ide] Move common protocol library to its own folder/object.Emilio Jesus Gallego Arias
2018-03-08coqide: queries from the query window are routed there (fix #5684)Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
2017-03-21[xml] Restore protocol compatibility with 8.6.Emilio Jesus Gallego Arias
2017-03-21[pp] Make feedback the only logging mechanism.Emilio Jesus Gallego Arias
2016-09-21Removing dead code in CoqIDE.Pierre-Marie Pédrot
2016-06-02Move ide serialization libraries from lib/ to ide/Emilio Jesus Gallego Arias
2015-08-31Switching to an event-based mechanism for CoqIDE preferences.Pierre-Marie Pédrot
2015-01-05Implementing a segment-viewer in CoqIDE.Pierre-Marie Pédrot
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2013-10-22wg_Detachable: move out of wg_Commandgareuselesinge
2013-10-07CoqIDE: cStack -> Documentgareuselesinge
2013-09-30CoqIDE: wg_Tooltip removed, new tooltip handlinggareuselesinge
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-02-19New autocompletion mechanism in CoqIDE. Now provides many answersppedrot
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
2012-09-06Nice output of SearchAbout command in CoqIDEppedrot
2012-07-16Added abstration layer to goal display in CoqIDE, and cleaned partsppedrot
2012-06-24Made the message view of CoqIDE abstract.ppedrot
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
2012-04-23Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...ppedrot
2012-04-20Cleaning up widget code and using a naming convention for such files.ppedrot
2011-09-01Add option -f to coqidepboutill
2011-09-01Creation of ide/project_file.ml4pboutill
2011-06-10Menubar and toolbar in coqide using GtkUI & Gactions.pboutill
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-01-06Reverted r13715 "Add improved indenters that rely on the current proof state ...gmelquio
2010-12-14Add improved indenters that rely on the current proof state to choose the ind...gmelquio
2010-10-06Remove ide/coq_tactics.ml*glondu
2010-04-05Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflitaspiwack
2010-03-23Goal generation deported into ide/coq.ml, single function to obtainvgross
2010-02-18Fixing modules names.vgross
2010-01-11Revert "Isolation of proof-displaying code"vgross
2010-01-11Isolation of proof-displaying codevgross
2009-11-13new handling for lexical structures.vgross
2009-09-14tags refactoringvgross
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:10 +0000