coq-mathcomp/.gitignore, branch master Library of mathematical components formalized in Coq [test suite] infrastructure to test how some statements are printed 2020-09-07T14:34:30+00:00 Enrico Tassi 2019-11-18T16:40:51+00:00 bc0a71056c24b29c8289395ee01740bb2ef7ad8d 






Add *.vos and *.vok to .gitignore
2019-11-22T11:46:40+00:00

Kazuhiko Sakaguchi

2019-11-22T11:46:40+00:00

c7b3c0aaee252816d78be33c4d7f1302962d4b79












Reimplement the hierarchy related tools in OCaml
2019-04-30T13:23:27+00:00

Kazuhiko Sakaguchi

2019-04-30T12:48:37+00:00

2d31a42aa3c2dacabc0cf005b45fc7bb4e6383e9

The functionalities of the structure hierarchy related tools `hierarchy-diagram`
and `hierarchy_test.py` are provided by an OCaml script `hierarchy.ml`.
`test_suite/hierarchy_test.v` is deleted. Now make can generate it.





The functionalities of the structure hierarchy related tools `hierarchy-diagram`
and `hierarchy_test.py` are provided by an OCaml script `hierarchy.ml`.
`test_suite/hierarchy_test.v` is deleted. Now make can generate it.







Ignore generated Makefile.coq.conf
2018-11-13T14:01:59+00:00

Georges Gonthier

2018-11-13T14:01:59+00:00

d7eb1ba8b86eebc743e3d419532127b77c6e91cc












.gitignore (ssrmatching.v)
2017-03-17T08:41:19+00:00

Pierre-Yves Strub

2017-03-17T08:38:52+00:00

c6a144fc76fca5a182c3bf89bcac780da1358a8d












[gitignore]: ignore .vio files
2017-03-13T11:49:03+00:00

Pierre-Yves Strub

2017-03-13T11:49:03+00:00

8edf061f0338dddcb261fca59dd8b0fc9e1036d3












Port build system to trunk (ssrmatching merged in Coq)
2016-06-16T09:53:53+00:00

Enrico Tassi

2016-06-16T09:53:53+00:00

0e36c8f0247cbd814cd82592e2722b052283b495












coqdoc + interactive graph browsing
2015-12-11T15:54:22+00:00

Enrico Tassi

2015-12-11T15:54:22+00:00

353eb61703f64f6d0f520720fdb0d08a1cf727c3

It is still rough, but better than nothing.





It is still rough, but better than nothing.







Ignore emacs checkpoints
2015-12-04T15:27:04+00:00

Georges Gonthier

2015-12-04T15:27:04+00:00

e22704b1c0bd58d7d15a85e5dd0487a056099ad3












Update .git* conf files to ignore/exclude cruft
2015-11-05T15:26:24+00:00

Enrico Tassi

2015-11-05T12:29:18+00:00

eb65b7b6f847add79881532b87c1b227c06efd2c