aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2020-05-27URL in httpsCyril Cohen
2020-04-15fix packagerCyril Cohen
2020-03-15Fix hierarchy.ml to compute the transitive closure of a hierarchyKazuhiko Sakaguchi
2019-12-02take advantage of opam variables and their default valuesYves Bertot
2019-11-25Add Makefile target to build the docMaxime Dénès
2019-10-02Fix and improve the test suite and MakefileKazuhiko Sakaguchi
2019-04-30Reimplement the hierarchy related tools in OCamlKazuhiko Sakaguchi
2019-04-08switching to opam 2.0 formatCyril Cohen
2019-04-08New test cases generation: corrent implementation of least common childrenKazuhiko Sakaguchi
2019-04-05least common childenCyril Cohen
2019-04-04no output on success in test_suite/hierarchy_test.v (#323)Cyril Cohen
2019-04-02speedup in hierarchy_test.pyCyril Cohen
2019-04-02identifying missing joinsCyril Cohen
2019-03-07Put documentation and some command line options for hierarchy-diagramKazuhiko Sakaguchi
2019-03-07Use both coercions and canonical projections to generate the diagramKazuhiko Sakaguchi
2019-02-22Reimplement hierarchy-diagram by using coercions between "<module>.type" typesKazuhiko Sakaguchi
2019-02-22Add a tool to draw the hierarchy diagramKazuhiko Sakaguchi
2019-02-05fix etc/utils/packager (#273)Cyril Cohen
2018-04-24replacing my local `git root` by a universal commandCyril Cohen
2018-04-24fix opam packager script + dependenciesCyril Cohen
2018-04-20move etc/ files to the root and remove obsolete onesEnrico Tassi
2017-10-23Remove compatibility with Coq.8.4 (and compatibility hacks that went with it)Cyril Cohen
2017-10-23Merge pull request #145 from CohenCyril/new-packagerCyril Cohen
2017-10-20reproduce github archive locally rather than downloading, much fasterCyril Cohen
2017-10-20improved package generatorCyril Cohen
2017-10-19new script to create opam meta packagesCyril Cohen
2017-10-19No more `cm*` files in the installer!Enrico
2017-09-07extended changelog in preparation for the next releaseCyril Cohen
2017-09-07adding odd_order to the list of released content for 1.6Cyril Cohen
2016-10-25minor change to the opam install exampleFalcon Dai
2016-08-25Enriched numClosedFieldType so that it factors a lot of theory from both comp...Cyril Cohen
2016-03-02Fix the address if the wiki. Florent Hivert
2016-01-21revise installer for windowsEnrico Tassi
2016-01-05do not use `sed -i' in ssrcoqdep -- this is not portablePierre-Yves Strub
2015-12-26packaging ssr 1.6Cyril Cohen
2015-12-18Changing the address of the wikiamahboubi
2015-12-18Typo in the github announceamahboubi
2015-12-15Update ANNOUNCE-1.6.mdEnrico
2015-12-14typoEnrico Tassi
2015-12-14Update ANNOUNCE-github.mdEnrico
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:53:26 +0000