aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
AgeCommit message (Expand)Author
2018-12-19Generalizing homo-mono-morphism lemmas and extremum (#201)Cyril Cohen
2018-12-14Correct and improve implicits and documentation of MatrixGenFieldGeorges Gonthier
2018-12-13Adjust implicits of cancellation lemmasGeorges Gonthier
2018-12-10Adding lemma `eqmxMunitP`Cyril Cohen
2018-12-06Update ChangeLogAnton Trunov
2018-10-29Revert "Adding allsigs, the dependent version of allpairs"Cyril Cohen
2018-10-26Merge pull request #235 from CohenCyril/bool_irrelevance2Cyril Cohen
2018-10-26Statement of `bool_irrelevance` more consistent with its name.Cyril Cohen
2018-10-26moving countalg and closed_field aroundCyril Cohen
2018-10-26removing multiple definitions of [tT]ag*Cyril Cohen
2018-10-24Adding allsigs, the dependent version of allpairsCyril Cohen
2018-09-13Small scale tool for proving "the following are equivalent"Cyril Cohen
2018-08-03update ChangeLog and docCyril Cohen
2018-04-24fix typoEnrico
2018-04-24Update ChangeLogEnrico
2018-04-24Removed content about files not in the repo/release + minor stuffAssia Mahboubi
2018-04-23Latest changes added to change log.Assia Mahboubi
2018-04-23Improved ChangeLogAssia Mahboubi
2018-04-20move etc/ files to the root and remove obsolete onesEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:11:58 +0000