aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/feedback.ml
Commit message (Expand)AuthorAge
* [feedback] Helper to print feedback messages in the console.Gravatar Emilio Jesus Gallego Arias2017-11-06
* [stm] Switch to a functional APIGravatar Emilio Jesus Gallego Arias2017-10-06
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge branch 'trunk' into located_switchGravatar Emilio Jesus Gallego Arias2017-05-24
|\
| * Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
* | [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
|/
* [stm] Remove edit_id.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [pp] Debug feeder is not needed anymore.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [feedback] Allow to remove feedback listeners.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
* Remove unused feedback_content: GoalsGravatar CJ Bell2016-11-10
* [pp] Remove duplicate color logger.Gravatar Emilio Jesus Gallego Arias2016-09-30
* feedback: provide a feeder that prints debug messagesGravatar Enrico Tassi2016-09-13
* feedback: support multiple feedback listenersGravatar Enrico Tassi2016-09-05
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* [feedback] Remove `ErrorMsg` in favor of `Message Error`.Gravatar Emilio Jesus Gallego Arias2016-06-25
* [feedback] Allow messages to carry a location.Gravatar Emilio Jesus Gallego Arias2016-06-25
* [feedback] Add optional ?loc parameter to loggers.Gravatar Emilio Jesus Gallego Arias2016-06-25
* [feedback] Remove unused tag on `Debug` level.Gravatar Emilio Jesus Gallego Arias2016-06-25
* Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-06-02
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* Feedback message: hold extra info to help routingGravatar Enrico Tassi2014-10-31
* When loading libraries, feed back dependencies.Gravatar Carst Tankink2014-10-13
* STM: report the (structured) goals as XMLGravatar Carst Tankink2014-10-01
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* STM: encapsulate Pp.message in Feedback.feedbackGravatar Carst Tankink2014-08-04
* Feedback: LoadedFile + GoalsGravatar Enrico Tassi2014-07-11
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25