| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Reviewed-by: mattam82
Reviewed-by: maximedenes
Reviewed-by: jfehrle
Ack-by: gares
Ack-by: Zimmi48
Ack-by: ppedrot
|
|
Co-Authored-By: Jim Fehrle <jim.fehrle@gmail.com>
|
|
|
|
Reviewed-by: Zimmi48
|
|
commands
Reviewed-by: Zimmi48
Reviewed-by: ppedrot
|
|
Ack-by: Blaisorblade
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Ack-by: jfehrle
Reviewed-by: ppedrot
|
|
|
|
|
|
|
|
Reviewed-by: silene
Reviewed-by: gares
Reviewed-by: Zimmi48
|
|
|
|
|
|
verbatim from inline verbatim
Reviewed-by: Lysxia
|
|
description of Instance command
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>
|
|
Reviewed-by: gares
Ack-by: Zimmi48
|
|
CoqMakefile.
Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr>
|
|
|
|
|
|
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.
|
|
|
|
Reviewed-by: jfehrle
|
|
|
|
Reviewed-by: herbelin
Reviewed-by: JasonGross
Reviewed-by: jfehrle
Ack-by: Zimmi48
|
|
|
|
|
|
Prefer the term 'solver' to 'decision procedure'.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
