aboutsummaryrefslogtreecommitdiff
path: root/etc/utils
AgeCommit message (Collapse)Author
2018-04-24replacing my local `git root` by a universal commandCyril Cohen
2018-04-24fix opam packager script + dependenciesCyril Cohen
2017-10-23Remove compatibility with Coq.8.4 (and compatibility hacks that went with it)Cyril 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
- the opam files in the branch where the script is launched should be correct - if not, the second argument to the script should be a branch in which the opam files are correct
2017-09-07adding odd_order to the list of released content for 1.6Cyril Cohen
2016-01-05do not use `sed -i' in ssrcoqdep -- this is not portablePierre-Yves Strub
This prevents compilation of ssreflect on OS-X/*BSD.
2015-12-26packaging ssr 1.6Cyril 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-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-02-01 07:23:52 +0000