| Age | Commit message (Collapse) | Author |
|---|
|
Reviewed-by: Blaisorblade
Ack-by: SkySkimmer
|
|
|
|
not only on subidentifiers of an identifier
Reviewed-by: Zimmi48
|
|
Reviewed-by: Zimmi48
Reviewed-by: SkySkimmer
Ack-by: gares
Ack-by: jfehrle
Ack-by: jashug
Ack-by: ejgallego
|
|
Reviewed-by: ejgallego
Reviewed-by: Zimmi48
Ack-by: ppedrot
Ack-by: jfehrle
|
|
|
|
Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>
Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
|
|
Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>
|
|
Reviewed-by: gares
Ack-by: Zimmi48
|
|
Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
|
|
Reviewed-by: Zimmi48
|
|
|
|
Reviewed-by: Zimmi48
|
|
|
|
|
|
OCaml and Gallina.
Reviewed-by: jfehrle
Reviewed-by: cpitclaudel
|
|
The smallcaps rendering was inexistent in the PDF version and did not
look good in the HTML version.
|
|
|
|
|
|
Actual documentation was interpreted as a comment.
|
|
|
|
of a match.
Reviewed-by: ppedrot
|
|
Reviewed-by: SkySkimmer
|
|
Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
|
|
Reviewed-by: SkySkimmer
|
|
|
|
mixed terms and pattern
Reviewed-by: ejgallego
|
|
Reviewed-by: jfehrle
|
|
|
|
|
|
|
|
Reviewed-by: herbelin
Reviewed-by: JasonGross
Reviewed-by: jfehrle
Ack-by: Zimmi48
|
|
a correct typing environment
Reviewed-by: SkySkimmer
|
|
|
|
|
|
Prefer the term 'solver' to 'decision procedure'.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
