aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqloop.ml
Commit message (Expand)AuthorAge
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Prepare for serialization, remove opaque glue.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`Gravatar Emilio Jesus Gallego Arias2017-03-21
* [safe_string] toplevel/coqloopGravatar Emilio Jesus Gallego Arias2017-03-14
* [pp] Add tagging function to all low-level printing calls.Gravatar Emilio Jesus Gallego Arias2016-10-18
* Vernac.ml: inlining read_vernac_file within load_vernac.Gravatar Hugo Herbelin2016-10-17
* Vernac.ml: parenthesizing a side-effect.Gravatar Hugo Herbelin2016-10-17
* Applying Emilio's suggestion to simplify type of eval_expr.Gravatar Hugo Herbelin2016-10-17
* Fixing #5133 (error reporting delayed).Gravatar Hugo Herbelin2016-10-10
* Attaching all extra imperative components of the lexer/parser state toGravatar Hugo Herbelin2016-10-09
* fix bug 3683 : adds references to the web site for the bug trackerGravatar Yves Bertot2016-09-29
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Add file name, line number and beginning of line position to locations.Gravatar Maxime Dénès2016-06-20
* Preventive compatibility fixes for flushing.Gravatar Emilio Jesus Gallego Arias2016-06-14
* Fix for bug #4784Gravatar Emilio Jesus Gallego Arias2016-06-14
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Rename Lexer -> CLexer.Gravatar Pierre-Marie Pédrot2016-05-09
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Remove almost all the uses of string concatenation when building error messages.Gravatar Guillaume Melquiond2015-04-23
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-06
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Plugging console highlighting in for toplevel and compilation error messages.Gravatar Pierre-Marie Pédrot2014-11-24
* Make rint_location_in_file resilient to Cd (close 3630)Gravatar Enrico Tassi2014-10-22
* Undo: if the ui is coqtop (command line) then Undo is not part of the doc.Gravatar Enrico Tassi2014-09-09
* Fixing parsing of bullets after a "...".Gravatar Hugo Herbelin2014-08-12
* Fixing various backtrace recordings.Gravatar Pierre-Marie Pédrot2014-04-25
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* A few fixes to the build system (mostly for ocamlbuild)Gravatar Pierre Letouzey2013-12-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-02 11:38:28 +0000