aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2012-05-02Always add the Coq_config.dirs to xdg_dirspboutill
2012-05-02Fixed #2769ppedrot
2012-05-01Cleaned the interface of analyzed_view in CoqIDE. A lot of methodsppedrot
2012-04-30This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.ppedrot
2012-04-30Fixed an accelerator parsing error in CoqIDE introduced in r15254ppedrot
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-04-27Coqide MacOS integration refreshpboutill
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with it...ppedrot
2012-04-24Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...ppedrot
2012-04-23Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All wa...ppedrot
2012-04-23Cleaning a bit previous commitppedrot
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
2012-04-19Moved queries from command pane to message view.ppedrot
2012-04-19Fixed color refresh of command paneppedrot
2012-04-18Fixed the CoqIDE preference widthppedrot
2012-04-18Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...ppedrot
2012-04-18Cleaning up preferences and hooks in CoqIDEppedrot
2012-04-18New file in CoqIDE is not ANNOYING anymore.ppedrot
2012-04-18Renamed end-of-proof message by a less disturbing one.ppedrot
2012-04-18Added a tab changing command in CoqIDE and moved display options aroundppedrot
2012-04-18Fixed bug #2752ppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2012-04-14Coqide input encoding preference is an algebraic type.pboutill
2012-04-14Coqide Proofview scrollpboutill
2012-04-13Browser documentation & CharSet under Windowspboutill
2012-04-12Coqide minor enhancementspboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-04-11Added a reset button for CoqIDE colorsppedrot
2012-04-11Added a background color configuration option in CoqIDE.ppedrot
2012-04-04Reversed colour highlight in CoqIDEppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
2012-03-23A unified backtrack mechanism, with a basic "Show Script" as side-effectletouzey
2012-03-23Remove old proof-managment commands Suspend/Resumeletouzey
2012-02-22Ide: sentences found by find_phrase_starting_at should be nonempty (fix #2683)letouzey
2012-02-02More information returned by coqtop about its internal state. Hopefully we'll...ppedrot
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-17Coq_makefile: if no -install is provided, install location is set by a Makefi...pboutill
2011-12-16Coqide: adapt some comments now that bullets are terminators like { }letouzey
2011-12-16Adapting coqide to my last commit: courtieu
2011-12-15Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...ppedrot
2011-12-07Typopboutill
2011-12-06Fixed a synchronization bug between coqtop and the CoqIDE command pane.ppedrot
2011-11-30Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...ppedrot
2011-11-30Now CoqIDE relies on the option query mechanism to set printing options. Stil...ppedrot
2011-11-25Separated the toplevel interface into a purely declarative module with associ...ppedrot
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-11-20coqide-gtk2rc not dottedpboutill
2011-11-20CoqIdE configuration file won't pollute your home anymorepboutill
2011-11-20Teach coq_makefile how to install into XDG_DATA_HOME.pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 17:35:16 +0000