index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
coqloop.ml
Commit message (
Expand
)
Author
Age
*
[toplevel] Modify printing goal strategy.
Emilio Jesus Gallego Arias
2018-03-05
*
Merge PR #6855: Update headers following #6543.
Maxime Dénès
2018-03-05
|
\
*
|
[toplevel] Update state when `Drop` exception is thrown [#6872]
Emilio Jesus Gallego Arias
2018-02-28
|
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
|
/
*
[toplevel] Make toplevel state into a record.
Emilio Jesus Gallego Arias
2018-02-15
*
[error] Replace msg_error by a proper exception.
Emilio Jesus Gallego Arias
2018-02-09
*
[flags] Move global time flag into an attribute.
Emilio Jesus Gallego Arias
2017-12-23
*
[toplevel] Export the last document seen after `Drop`.
Emilio Jesus Gallego Arias
2017-10-28
*
[stm] Switch to a functional API
Emilio Jesus Gallego Arias
2017-10-06
*
Using an algebraic type for distinguishing toplevel input from location in file.
Hugo Herbelin
2017-09-14
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
[proof] Deprecate redundant wrappers.
Emilio Jesus Gallego Arias
2017-06-11
*
Drop '.' from CErrors.anomaly, insert it in args
Jason Gross
2017-06-02
*
[emacs] [toplevel] Make emacs flag local to the toplevel.
Emilio Jesus Gallego Arias
2017-06-01
*
Merge branch 'trunk' into located_switch
Emilio Jesus Gallego Arias
2017-05-24
|
\
|
*
[toplevel] Fix a couple of logical errors in error printing.
Emilio Jesus Gallego Arias
2017-05-05
|
*
[toplevel] Remove unused parameter from `Vernac.process_expr`.
Emilio Jesus Gallego Arias
2017-04-25
|
*
[toplevel] Use exception information for error printing.
Emilio Jesus Gallego Arias
2017-04-25
*
|
[location] Make location optional in Loc.located
Emilio Jesus Gallego Arias
2017-04-25
|
/
*
[toplevel] [stm] cleanup in module open
Emilio Jesus Gallego Arias
2017-04-12
*
[vernac] vernacentries.mli cleanup
Emilio Jesus Gallego Arias
2017-04-12
*
[stm] Port the toplevel to the STM.
Emilio Jesus Gallego Arias
2017-04-12
*
[camlpX] Remove camlp4 compat layer.
Emilio Jesus Gallego Arias
2017-04-07
*
[toplevel] Remove exception error printer in favor of feedback printer.
Emilio Jesus Gallego Arias
2017-04-05
*
[pp] Add anomaly header to anomaly error messages.
Emilio Jesus Gallego Arias
2017-03-22
*
[pp] Move terminal-specific tagging to the toplevel.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Remove special tag type and handler from Pp.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Make feedback the only logging mechanism.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Prepare for serialization, remove opaque glue.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`
Emilio Jesus Gallego Arias
2017-03-21
*
[safe_string] toplevel/coqloop
Emilio Jesus Gallego Arias
2017-03-14
*
[pp] Add tagging function to all low-level printing calls.
Emilio Jesus Gallego Arias
2016-10-18
*
Vernac.ml: inlining read_vernac_file within load_vernac.
Hugo Herbelin
2016-10-17
*
Vernac.ml: parenthesizing a side-effect.
Hugo Herbelin
2016-10-17
*
Applying Emilio's suggestion to simplify type of eval_expr.
Hugo Herbelin
2016-10-17
*
Fixing #5133 (error reporting delayed).
Hugo Herbelin
2016-10-10
*
Attaching all extra imperative components of the lexer/parser state to
Hugo Herbelin
2016-10-09
*
fix bug 3683 : adds references to the web site for the bug tracker
Yves Bertot
2016-09-29
*
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-07-03
*
A new infrastructure for warnings.
Maxime Dénès
2016-06-29
*
Add file name, line number and beginning of line position to locations.
Maxime Dénès
2016-06-20
*
Preventive compatibility fixes for flushing.
Emilio Jesus Gallego Arias
2016-06-14
*
Fix for bug #4784
Emilio Jesus Gallego Arias
2016-06-14
*
Feedback cleanup
Emilio Jesus Gallego Arias
2016-05-31
*
Rename Lexer -> CLexer.
Pierre-Marie Pédrot
2016-05-09
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
Remove almost all the uses of string concatenation when building error messages.
Guillaume Melquiond
2015-04-23
*
Update headers.
Maxime Dénès
2015-01-12
*
Fix some documentation typos.
Guillaume Melquiond
2015-01-06
*
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-12-16
[next]