aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2016-06-14Merge remote-tracking branch 'origin/pr/173' into trunkEnrico Tassi
2016-06-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-09Merge PR #190: Add configurable shortcuts for user queries to CoqIDE.Pierre-Marie Pédrot
2016-06-09Remove failure on non-.v files (bug #4752).Guillaume Melquiond
2016-06-07Search interface revisions.Pierre-Marie Pédrot
2016-06-07Removing the convenience functions from the Search API.Pierre-Marie Pédrot
2016-06-07CoqIDE: remove useless printEnrico Tassi
2016-06-06xmlprotocol: fix unmarshaling of Feedback.MessageEnrico Tassi
2016-06-06xmlprotocol: uncomment marshalling code for custom messageEnrico Tassi
2016-06-06xmlprotocol: Marshal_error carries the reasonEnrico Tassi
2016-06-02Move ide serialization libraries from lib/ to ide/Emilio Jesus Gallego Arias
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-06-02Move serialization functions out of StmEmilio Jesus Gallego Arias
2016-06-02Fix build (use the same mllib file as in trunk).Guillaume Melquiond
2016-06-02Avoid refreshing the segment widget each time a sentence is added.Lionel Rieg
2016-06-02Avoid refreshing the segment widget each time a sentence is added.Lionel Rieg
2016-06-02User queries can be terminated with "...".Cyprien Mangin
2016-06-02Dynamic modifier for Queries menu in CoqIDE.Cyprien Mangin
2016-06-02Better sanitization of user queries in CoqIDE.Cyprien Mangin
2016-06-02Add an option to configure the modifier for Queries.Cyprien Mangin
2016-06-02Merge the user queries tab with the shortcut tab.Cyprien Mangin
2016-06-02Slightly better interface to edit queries.Cyprien Mangin
2016-06-02Add user-created queries to CoqIDE.Cyprien Mangin
2016-06-02Add a [Show Proof.] query to CoqIDE.Cyprien Mangin
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-05-09Use the actual location of an error in the error pane (bug #4169).Guillaume Melquiond
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-05-02Merge branch 'v8.5'Pierre-Marie Pédrot
2016-04-29Reduce ide/coq.png to 256x256.Guillaume Melquiond
2016-04-28Make the language grammar much more precise. (Fix bugs #4682 and #4683)Guillaume Melquiond
2016-04-24avoid communicating to the serarch interface using raw strings.Gregory Malecha
2016-03-18Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-15CoqIDE is more resilient to initialization errors.Pierre-Marie Pédrot
2016-02-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-02-20Fixing bug #4540: CoqIDE bottom progress bar does not update.Pierre-Marie Pédrot
2016-02-19CoqIDE: STOP button also stops workers (fix #4542)Enrico Tassi
2016-02-09CLEANUP: Context.{Rel,Named}.Declaration.tMatej Kosik
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-11mergeMatej Kosik
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2016-01-06Remove deprecated command-line options such as "-as".Guillaume Melquiond
2016-01-06Make code more readable by not mixing list traversal and option processing.Guillaume Melquiond
2016-01-06Merge remote-tracking branch 'origin/v8.5' into trunkGuillaume Melquiond
2016-01-06Prevent coq_makefile from parsing project files in the reverse order. (Fix bu...Guillaume Melquiond
2016-01-02Remove some unused functions.Guillaume Melquiond
2016-01-02Remove some useless type declarations.Guillaume Melquiond
2016-01-02Avoid warnings about loop indices.Guillaume Melquiond
2016-01-02Remove useless rec flags.Guillaume Melquiond
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 21:34:08 +0000