aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2016-01-01Fix typos.Guillaume Melquiond
2016-01-01Remove unplugged button from the interface.Guillaume Melquiond
2015-12-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-12-14Fixing little bug of coq_makefile with unterminated comment.Hugo Herbelin
2015-12-14CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' messageEnrico Tassi
2015-12-14Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkMaxime Dénès
2015-10-30Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-30Fix typo.Guillaume Melquiond
2015-10-22Using GADTs in Xmlprotocol.Pierre-Marie Pédrot
2015-10-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-13Fix some typos.Guillaume Melquiond
2015-10-09Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-08Goptions: new value type: optional stringEnrico Tassi
2015-09-26Use default GTK styles for CoqIDE tags.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 13:12:48 +0000