Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | Update CHANGES and credits for 8.6beta1. | 2016-11-10 | ||
| * | Merge remote-tracking branch 'github/pr/348' into v8.6 | 2016-11-08 | ||
| |\ | ||||
| * | | Update documentation of Arguments after recent changes. | 2016-11-08 | ||
| | * | Rewording from Enrico | 2016-11-08 | ||
| | * | After Emilio's comment. | 2016-11-07 | ||
| * | | Merge remote-tracking branch 'github/pr/339' into v8.6 | 2016-11-07 | ||
| |\ \ | ||||
| | * | | Document two new variants of refine | 2016-11-07 | ||
| | | * | More accurate contributor list. | 2016-11-07 | ||
| | | * | Hugo and Maxime's 2nd pass of comments | 2016-11-07 | ||
| | | * | Hugo's comments | 2016-11-06 | ||
| | | * | Maxime's comments | 2016-11-06 | ||
| | | * | Fixes from Enrico's review | 2016-11-06 | ||
| | | * | Credits for 8.6 | 2016-11-05 | ||
| | | * | Minor fix in documentation | 2016-11-05 | ||
| | |/ | |/| | ||||
| * | | Merge remote-tracking branch 'github/pr/336' into v8.6 | 2016-11-04 | ||
| |\ \ | ||||
| * | | | Add documentation for [Set Warnings] and the -w option. | 2016-11-04 | ||
| | | * | Do not shelve non-class subgoals but fail, it should | 2016-11-03 | ||
| | | * | typeclasses eauto Implem/doc of shelving strategy | 2016-11-03 | ||
| | | * | Lets Hints/Instances take an optional pattern | 2016-11-03 | ||
| | | * | Document options of typeclasses (eauto) | 2016-11-03 | ||
| | | * | Documenting changes in typeclasses | 2016-10-29 | ||
| | |/ | |/| | ||||
| | * | Remove v62 from the refman. | 2016-10-25 | ||
* | | | Merge branch 'v8.6' | 2016-10-24 | ||
|\| | | ||||
| * | | Merge branch 'v8.5' into v8.6 | 2016-10-24 | ||
| |\ \ | | |/ | |/| | ||||
| | * | Documenting Hint Resolve -> and <- variants. | 2016-10-19 | ||
| | * | Making the doc of auto hints more precise. | 2016-10-19 | ||
| | * | Extending the doc with a general summary of auto variants. | 2016-10-18 | ||
| | * | Document info_auto. | 2016-10-18 | ||
| | * | Improve the documentation of eauto. | 2016-10-18 | ||
* | | | Merge branch 'v8.6' | 2016-10-05 | ||
|\| | | ||||
| * | | fixing bug 4609: document an option governing the generation of equalities | 2016-10-03 | ||
* | | | Merge branch 'v8.6' | 2016-10-02 | ||
|\| | | ||||
| * | | Merge remote-tracking branch 'github/pr/280' into v8.6 | 2016-09-30 | ||
| |\ \ | ||||
| * \ \ | Merge branch 'v8.5' into v8.6 | 2016-09-30 | ||
| |\ \ \ | | | |/ | | |/| | ||||
| * | | | Merge remote-tracking branch 'github/pr/232' into v8.6 | 2016-09-28 | ||
| |\ \ \ | ||||
| | | * | | Fixing #4887 (confusion between using and with in documentation of firstorder). | 2016-09-27 | ||
* | | | | | Merge branch 'v8.6' | 2016-09-23 | ||
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | 2016-09-23 | ||
| |\ \ \ \ | | | |/ / | | |/| | | ||||
| | * | | | Replace { command ; } with ( command ) | 2016-09-19 | ||
| | * | | | Fix typos in RefMan-uti.tex. | 2016-09-19 | ||
| | | | * | Doc: [Reset Ltac Profile] is not synchronized | 2016-09-16 | ||
| | |_|/ | |/| | | ||||
| * | | | Extending "contradiction" so that it recognizes statements such as "~x=x" or ... | 2016-09-15 | ||
* | | | | Merge branch 'v8.6' | 2016-09-14 | ||
|\| | | | ||||
| * | | | Refolding: disable in 8.4 compat file, document | 2016-09-12 | ||
* | | | | Merge PR #244. | 2016-09-08 | ||
|\ \ \ \ | ||||
| | * | | | Fix a typo in the reference manual | 2016-09-07 | ||
| |/ / / |/| | | | ||||
* | | | | plugin micromega : nra also handles non-linear rational arithmetic over Q (Fi... | 2016-08-30 | ||
* | | | | update Proof General URL | 2016-08-23 | ||
* | | | | Documenting "Set Structural Injection". | 2016-08-21 | ||
| * | | | Remove errorlabstrm in favor of user_err | 2016-08-19 |