aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
2015-12-12typoCyril Cohen
2015-12-12modif packager ":" -> "-"Cyril Cohen
2015-12-118.5 coqdoc does not want _ to be escaped + more .css classesEnrico Tassi
2015-12-10some doc for the doc building utilityEnrico Tassi
2015-12-09Updated the address of the website in READMEAssia Mahboubi
Plus corrected some typos.
2015-12-09Moved comments on the incompatibility to INSTALL.Assia Mahboubi
Plus added a reference to the issue and the suggested solution in the other doc files.
2015-12-08Create ANNOUNCE-github.mdEnrico
First attempt to define the organization, please comment!
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
Added a few more details in the description of the components and corrected some typos.
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-06-18 07:20:53 +0000