aboutsummaryrefslogtreecommitdiff
path: root/toplevel/coqloop.ml
AgeCommit message (Expand)Author
2016-06-14Preventive compatibility fixes for flushing.Emilio Jesus Gallego Arias
2016-06-14Fix for bug #4784Emilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-09Rename Lexer -> CLexer.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-04-23Remove almost all the uses of string concatenation when building error messages.Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2015-01-06Fix some documentation typos.Guillaume Melquiond
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-11-24Plugging console highlighting in for toplevel and compilation error messages.Pierre-Marie Pédrot
2014-10-22Make rint_location_in_file resilient to Cd (close 3630)Enrico Tassi
2014-09-09Undo: if the ui is coqtop (command line) then Undo is not part of the doc.Enrico Tassi
2014-08-12Fixing parsing of bullets after a "...".Hugo Herbelin
2014-04-25Fixing various backtrace recordings.Pierre-Marie Pédrot
2014-03-05Remove some dead-code (thanks to ocaml warnings)Pierre Letouzey
2013-12-16A few fixes to the build system (mostly for ocamlbuild)Pierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-14 00:31:22 +0000