aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2015-12-09Moved comments on the incompatibility to INSTALL.Assia Mahboubi
2015-12-08Create ANNOUNCE-github.mdEnrico
2015-12-04Trying a better layout of hyperlinks on githubAssia Mahboubi
2015-12-04Trying a better layout of the .md on githubAssia Mahboubi
2015-12-04Minor edition of the Announce.Assia Mahboubi
2015-12-04Update ANNOUNCE-1.6.mdEnrico
2015-12-04better wording and package description in the ANNOUNCE for 1.6Enrico Tassi
2015-12-04some work on installation instructions and annoucement messageEnrico Tassi
2015-11-10Adding sections for definitions in change logamahboubi
2015-11-10Update ChangeLogamahboubi
2015-11-09ChangeLog: yake Yves' suggestion into accountEnrico
2015-11-06First stab at INSTALLEnrico Tassi
2015-11-06Makefile to create a tar ballEnrico Tassi
2015-11-05Changelog file createdEnrico Tassi
2015-07-22opam meta-data +urlCyril Cohen
2015-07-22make the opam package meta dataCyril Cohen
2015-07-21make opam meta-dataCyril Cohen
2015-07-21patch ssrcoqdepCyril Cohen
2015-07-17Updating files + reorganizing everythingCyril Cohen
2015-03-09some work on ssreflect and discreteEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:20 +0000