aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel
Commit message (Expand)AuthorAge
* Introduce a Pcoq.Entry module for functions that ought to be exported.Gravatar Pierre-Marie Pédrot2018-07-07
* Port g_toplevel to the homebrew GEXTEND parser.Gravatar Pierre-Marie Pédrot2018-06-29
* [coqtop] Give priority to stdlib load path over current directoryGravatar Maxime Dénès2018-06-19
* [api] Make `vernac/` self-contained.Gravatar Emilio Jesus Gallego Arias2018-05-27
* [ide] Remove special option `-ideslave`Gravatar Emilio Jesus Gallego Arias2018-05-21
* [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* [toplevel] Don't ignore output filename provided by user in -oGravatar Emilio Jesus Gallego Arias2018-05-08
* Making explicit that errors happen in one of five executation phases.Gravatar Hugo Herbelin2018-05-02
* Reporting when an error occurs at initialization time.Gravatar Hugo Herbelin2018-05-02
* Merge PR #7305: [toplevel] improve indentationGravatar Emilio Jesus Gallego Arias2018-05-01
|\
| * improve indentationGravatar Enrico Tassi2018-04-23
* | [toplevel] let toploop_init change Coq optionsGravatar Enrico Tassi2018-04-19
|/
* [warnings] Remove `set_current_loc` hack.Gravatar Emilio Jesus Gallego Arias2018-04-11
* [toplevel] Fix path initialization before vio processing (closes #7044)Gravatar Emilio Jesus Gallego Arias2018-04-07
* Merge PR #7144: [toplevel] Protect goal printing better wrt Break [helps with...Gravatar Enrico Tassi2018-04-04
|\
| * [toplevel] Protect goal printing better wrt Break [fixes #7142]Gravatar Emilio Jesus Gallego Arias2018-04-01
* | [stm] Move VernacBacktrack to the toplevel.Gravatar Emilio Jesus Gallego Arias2018-04-01
|/
* [vernac] Move `Quit` and `Drop` to the toplevel layer.Gravatar Emilio Jesus Gallego Arias2018-03-11
* [located] More work towards using CAst.tGravatar Emilio Jesus Gallego Arias2018-03-09
* Merge PR #6941: [toplevel] Respect COQ_COLORS environment variableGravatar Maxime Dénès2018-03-09
|\
* \ Merge PR #6871: [build] Simpler byte/opt toplevel build.Gravatar Maxime Dénès2018-03-09
|\ \
* \ \ Merge PR #6582: Mangle auto-generated namesGravatar Maxime Dénès2018-03-08
|\ \ \
| | | * [toplevel] Respect COQ_COLORS environment variableGravatar Thomas Hebb2018-03-07
| |_|/ |/| |
* | | [toplevel] Modify printing goal strategy.Gravatar Emilio Jesus Gallego Arias2018-03-05
| | * [build] Simpler byte/opt toplevel build.Gravatar Emilio Jesus Gallego Arias2018-03-05
| |/ |/|
* | Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\ \
* \ \ Merge PR #6791: Removing compatibility support for versions older than 8.5.Gravatar Maxime Dénès2018-03-04
|\ \ \
* \ \ \ Merge PR #6736: [toplevel] Move beautify to its own pass.Gravatar Maxime Dénès2018-03-04
|\ \ \ \
* \ \ \ \ Merge PR #6873: [toplevel] Update state when `Drop` exception is thrown [#6872]Gravatar Maxime Dénès2018-03-04
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6735: [toplevel] [vernac] Remove Load hack and check / document sup...Gravatar Maxime Dénès2018-03-04
|\ \ \ \ \ \
| | | | * | | Remove 8.5 compatibility support.Gravatar Théo Zimmermann2018-03-02
| | | | * | | Remove VOld compatibility flag.Gravatar Théo Zimmermann2018-03-02
| |_|_|/ / / |/| | | | |
| | * | | | [toplevel] Update state when `Drop` exception is thrown [#6872]Gravatar Emilio Jesus Gallego Arias2018-02-28
| | | * | | [toplevel] Move beautify to its own pass.Gravatar Emilio Jesus Gallego Arias2018-02-28
| | |/ / / | |/| | |
| * | | | [toplevel] [vernac] Remove Load hack and check supported scenarios.Gravatar Emilio Jesus Gallego Arias2018-02-28
| |/ / /
| | * / Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
| |/ /
* / / Fix #6751 trust_file_cache logic was invertedGravatar Gaëtan Gilbert2018-02-27
|/ /
* | [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
| * Implement name mangling optionGravatar Jasper Hugunin2018-02-17
* | [toplevel] Make toplevel state into a record.Gravatar Emilio Jesus Gallego Arias2018-02-15
|/
* Merge PR #6693: [toplevel] Refactor command line argument handling.Gravatar Maxime Dénès2018-02-13
|\
* \ Merge PR #6711: [toplevel] Disable error resiliency in `-quick` mode.Gravatar Maxime Dénès2018-02-13
|\ \
* | | [error] Replace msg_error by a proper exception.Gravatar Emilio Jesus Gallego Arias2018-02-09
| | * [toplevel] Small refactoring of fatal_error functions.Gravatar Emilio Jesus Gallego Arias2018-02-09
| | * [toplevel] Refactor command line argument handling.Gravatar Emilio Jesus Gallego Arias2018-02-09
| |/
| * [toplevel] Disable error resiliency in `-quick` mode.Gravatar Emilio Jesus Gallego Arias2018-02-07
|/
* [stm] [toplevel] Make loadpath a parameter of the document.Gravatar Emilio Jesus Gallego Arias2018-02-05
* [toplevel] Refine start of interactive mode conditions.Gravatar Emilio Jesus Gallego Arias2018-02-05
* [stm] Move options to a per-document record.Gravatar Emilio Jesus Gallego Arias2018-01-31
* [toplevel] Refactor load path handling.Gravatar Emilio Jesus Gallego Arias2018-01-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-25 03:43:07 +0000