aboutsummaryrefslogtreecommitdiff
path: root/lib/feedback.ml
AgeCommit message (Expand)Author
2016-09-30[pp] Remove duplicate color logger.Emilio Jesus Gallego Arias
2016-09-13feedback: provide a feeder that prints debug messagesEnrico Tassi
2016-09-05feedback: support multiple feedback listenersEnrico Tassi
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-06-25[feedback] Remove `ErrorMsg` in favor of `Message Error`.Emilio Jesus Gallego Arias
2016-06-25[feedback] Allow messages to carry a location.Emilio Jesus Gallego Arias
2016-06-25[feedback] Add optional ?loc parameter to loggers.Emilio Jesus Gallego Arias
2016-06-25[feedback] Remove unused tag on `Debug` level.Emilio Jesus Gallego Arias
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-11-27Feedback: API cleaned up, documented and made user extensibleEnrico Tassi
2014-10-31Feedback message: hold extra info to help routingEnrico Tassi
2014-10-13When loading libraries, feed back dependencies.Carst Tankink
2014-10-01STM: report the (structured) goals as XMLCarst Tankink
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-08-04STM: encapsulate Pp.message in Feedback.feedbackCarst Tankink
2014-07-11Feedback: LoadedFile + GoalsEnrico Tassi
2014-06-25all coqide specific files moved into ide/Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:18:42 +0000