index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
printing
/
ppvernac.ml
Commit message (
Expand
)
Author
Age
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-29
|
\
|
*
Complete overhaul of the Arguments vernacular.
Maxime Dénès
2016-10-27
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-12
|
\
|
|
*
Fixing a few confusions on the name of the beautify flag.
Hugo Herbelin
2016-10-12
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-05
|
\
|
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-02
|
\
\
|
|
*
Add command 'Set foo Append "bar"' for appending to an option (bug #5109).
Guillaume Melquiond
2016-10-01
|
|
/
|
*
Merge remote-tracking branch 'github/pr/299' into v8.6
Maxime Dénès
2016-09-30
|
|
\
|
*
|
Fix bug #4798: compat notations should not modify the parser.
Pierre-Marie Pédrot
2016-09-29
|
*
|
Arguments: cleanup + detect discrepancy rename/implicit (#3753)
Enrico Tassi
2016-09-29
|
|
*
Fix bug #4869, allow Prop, Set, and level names in constraints.
Matthieu Sozeau
2016-09-29
|
|
/
*
|
Revert "Merge remote-tracking branch 'github/pr/283' into trunk"
Maxime Dénès
2016-09-22
*
|
Stylistic improvements in intf/decl_kinds.mli.
Maxime Dénès
2016-09-20
*
|
Unplugging Pptactic from Ppvernac.
Pierre-Marie Pédrot
2016-09-08
*
|
Making Vernacexpr independent from Tacexpr.
Pierre-Marie Pédrot
2016-09-08
|
/
*
Support qualified identifiers in Show Match (bug #5050).
Guillaume Melquiond
2016-08-27
*
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-07-03
*
Extend Hint Mode to handle the no-head-evar case
Matthieu Sozeau
2016-06-16
*
Isolating and exporting a function for printing body of a recursive definition.
Hugo Herbelin
2016-06-16
*
Simplification in ppvernac.ml.
Hugo Herbelin
2016-06-16
*
Removing unused generalization of pr_vernac over pr_constr and pr_lconstr.
Hugo Herbelin
2016-06-16
*
Fixing extra space in printing bullets.
Hugo Herbelin
2016-06-16
*
Fixing space in printing <+ and <: + fixing missing Inline keyword.
Hugo Herbelin
2016-06-16
*
Fixing printing of Instance.
Hugo Herbelin
2016-06-16
*
Fixing extra space in printing abbreviations (SyntaxDefinition).
Hugo Herbelin
2016-06-16
*
Fixing printing of Polymorphic/Monomorphic.
Hugo Herbelin
2016-06-16
*
Fixing printing of Arguments.
Hugo Herbelin
2016-06-16
*
Printing notations as parsed.
Hugo Herbelin
2016-06-16
*
So as to beautify to work, do not use notations in Inductive types
Hugo Herbelin
2016-06-16
*
Adding an only printing flag to notations.
Pierre-Marie Pédrot
2016-06-07
*
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-05-08
*
Revert "So as to beautify to work, do not use notations in Inductive types"
Hugo Herbelin
2016-04-27
*
Revert "Printing notations as parsed."
Hugo Herbelin
2016-04-27
*
Revert "Fixing printing of Arguments."
Hugo Herbelin
2016-04-27
*
Revert "Fixing printing of Polymorphic/Monomorphic."
Hugo Herbelin
2016-04-27
*
Revert "Fixing extra space in printing abbreviations (SyntaxDefinition)."
Hugo Herbelin
2016-04-27
*
Revert "Fixing printing of Instance."
Hugo Herbelin
2016-04-27
*
Revert "Fixing space in printing <+ and <: + fixing missing Inline keyword."
Hugo Herbelin
2016-04-27
*
Revert "Fixing extra space in printing bullets."
Hugo Herbelin
2016-04-27
*
Revert "Removing unused generalization of pr_vernac over pr_constr and pr_lco...
Hugo Herbelin
2016-04-27
*
Revert "Simplification in ppvernac.ml."
Hugo Herbelin
2016-04-27
*
Revert "Isolating and exporting a function for printing body of a recursive d...
Hugo Herbelin
2016-04-27
*
Revert "Taking into account the original grammar rule to print generic"
Hugo Herbelin
2016-04-27
*
Revert "Fixing extra space in front of terminal in printing vernac."
Hugo Herbelin
2016-04-27
*
Fixing extra space in front of terminal in printing vernac.
Hugo Herbelin
2016-04-27
*
Taking into account the original grammar rule to print generic
Hugo Herbelin
2016-04-27
*
Isolating and exporting a function for printing body of a recursive definition.
Hugo Herbelin
2016-04-27
*
Simplification in ppvernac.ml.
Hugo Herbelin
2016-04-27
*
Removing unused generalization of pr_vernac over pr_constr and pr_lconstr.
Hugo Herbelin
2016-04-27
*
Fixing extra space in printing bullets.
Hugo Herbelin
2016-04-27
[next]