Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | | | * | | G_prim: the bigint entry keeps numbers in raw strings | Pierre Letouzey | 2017-06-14 | |
| | | | | * | | Constrexpr.Numeral stays uninterpreted (string+sign instead of BigInt.t) | Pierre Letouzey | 2017-06-14 | |
| |_|_|_|/ / |/| | | | | | ||||
| * | | | | | Dualize the unsafe flag of refine into typecheck and make it mandatory. | Pierre-Marie Pédrot | 2017-06-13 | |
|/ / / / / | ||||
| | | | * | [proof] Move bullets to their own module. | Emilio Jesus Gallego Arias | 2017-06-12 | |
| | | * | | [lib] Remove obsolete state-management function add_frozen_state | Emilio Jesus Gallego Arias | 2017-06-12 | |
| | | |/ | ||||
| | * / | [proof] Deprecate redundant wrappers. | Emilio Jesus Gallego Arias | 2017-06-11 | |
| | |/ | ||||
* | / | Remove (useless) aliases from the API. | Matej Košík | 2017-06-10 | |
| |/ |/| | ||||
| * | A fix to #5414 (ident bound by ltac names now known for "match"). | Hugo Herbelin | 2017-06-09 | |
|/ | ||||
* | Put "ssreflect" behind "API". | Matej Košík | 2017-06-07 | |
* | Put all plugins behind an "API". | Matej Kosik | 2017-06-07 |