Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | | [travis] Adding a template file and using it for all targets. | 2017-03-10 | ||
| * | | | | | [travis] Change headband for wider compatibility. | 2017-03-10 | ||
| * | | | | | Improve build of travis target on local machine. | 2017-03-10 | ||
|/ / / / / | ||||
| | | | * | [travis] Move GeoCoq to allow fail. | 2017-03-10 | ||
* | | | | | [travis] Move GeoCoq to allow fail. | 2017-03-09 | ||
| | | | * | [travis] Backport trunk's travis support. | 2017-03-02 | ||
* | | | | | [travis] [External CI] fiat-parsers | 2017-02-24 | ||
* | | | | | Fixing #use"include" after vernac is added and ltac is moved to a plugin. | 2017-02-23 | ||
* | | | | | [travis] track an 8.7 specific branch of HoTT. | 2017-02-21 | ||
* | | | | | Merge PR#309: Ltac as a plugin | 2017-02-21 | ||
|\ \ \ \ \ | ||||
* | | | | | | Fixing debugger after the split of toplevel into vernac. | 2017-02-19 | ||
* | | | | | | remove obsolete file dev/Makefile.oug | 2017-02-17 | ||
| * | | | | | Documenting the pluginification of Ltac. | 2017-02-17 | ||
| * | | | | | Ltac as a plugin. | 2017-02-17 | ||
|/ / / / / | ||||
| * / / / | [cleanup] Change Id.t option to Name.t in TacFun | 2017-02-16 | ||
|/ / / / | ||||
* | | | | [travis] [External CI] CompCert official 8.6 support + UniMath | 2017-02-15 | ||
* | | | | [travis] [External CI] Factor out math-comp installs. | 2017-02-15 | ||
| | * | | Merge branch 'master'. | 2017-02-14 | ||
| | |\ \ | |_|/ / |/| | | | ||||
| | * | | Moving printing code from Evd to Termops. | 2017-02-14 | ||
| | * | | Ltac now uses evar-based constrs. | 2017-02-14 | ||
| | * | | Tactic_matching API using EConstr. | 2017-02-14 | ||
* | | | | Merge PR#425: [travis] [External CI] [geocoq] don't build slow file | 2017-02-07 | ||
|\ \ \ \ | ||||
| * | | | | [travis] [External CI] [geocoq] don't build slow file | 2017-02-07 | ||
* | | | | | [travis] [External CI] iris-coq: fix dependencies | 2017-02-07 | ||
|/ / / / | ||||
* | | | | [travis] [External CI] GeoCoq | 2017-02-07 | ||
* | | | | [travis] Move ci files from `tools` to `dev`. | 2017-02-07 | ||
* | | | | Adding a printer for Proof.proof reflecting the focusing layout. | 2017-01-26 | ||
* | | | | Merge branch 'v8.6' | 2017-01-19 | ||
|\ \ \ \ | | |_|/ | |/| | | ||||
| * | | | Windows build scripts for 8.6 final. | 2016-12-08 | ||
| * | | | Fix paths in 32-bit windows build scripts. | 2016-12-08 | ||
| * | | | Add bat files for 8.6rc1 build. | 2016-12-07 | ||
| * | | | Add bat files for 8.6beta1 build. | 2016-12-07 | ||
* | | | | Merge branch 'v8.6' | 2016-12-07 | ||
|\| | | | ||||
| * | | | Merge remote-tracking branch 'github/pr/372' into v8.6 | 2016-12-02 | ||
| |\ \ \ | ||||
| * \ \ \ | Merge remote-tracking branch 'github/pr/368' into v8.6 | 2016-12-02 | ||
| |\ \ \ \ | ||||
| * \ \ \ \ | Merge remote-tracking branch 'github/pr/369' into v8.6 | 2016-12-02 | ||
| |\ \ \ \ \ | ||||
| * \ \ \ \ \ | Merge remote-tracking branch 'github/pr/371' into v8.6 | 2016-12-02 | ||
| |\ \ \ \ \ \ | ||||
* | | | | | | | | Merge branch 'v8.6' | 2016-11-30 | ||
|\| | | | | | | | ||||
| * | | | | | | | Fix some documentation typos. | 2016-11-24 | ||
| | | | | * | | | (v8.6) Update dev/doc/changes.txt with HintsResolveEntry changes | 2016-11-21 | ||
| | |_|_|/ / / | |/| | | | | | ||||
| | * | | | | | (v8.6) Update dev/doc/changes with things about mem_named_context | 2016-11-21 | ||
| |/ / / / / | ||||
| | * / / / | (v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes | 2016-11-21 | ||
| |/ / / / | ||||
| | * / / | (v8.6) Add example in dev/doc/changes involving Tacmach.project | 2016-11-21 | ||
| |/ / / | ||||
* | | | | Merge branch 'v8.6' | 2016-11-18 | ||
|\| | | | ||||
| * | | | [doc] Mention XML protocol on changes. | 2016-11-16 | ||
| * | | | Remove README.win until we come up with new instructions. | 2016-11-14 | ||
| * | | | Move OSX script. | 2016-11-10 | ||
| * | | | Add Michael Soegtrop's new script to build windows installer. | 2016-11-10 | ||
| * | | | Remove old windows build scripts. | 2016-11-10 | ||
| | | * | Introducing a new EConstr.t type to perform the nf_evar operation on demand. | 2016-11-08 |