coq/dev/tools/change-header, branch master The formal proof system Also show unchanged headers. 2020-03-18T10:49:42+00:00 Théo Zimmermann 2020-03-18T10:49:42+00:00 a33323d54cf78762f7ba1afc39a2f5a5ddb67a57 






Adapt change-header script to handle shebangs in addition to Emacs comments.
2019-06-17T16:08:32+00:00

Théo Zimmermann

2019-06-06T09:22:09+00:00

1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6

Remove other types of lines before copyright headers.





Remove other types of lines before copyright headers.







Update change-header script to support updating more than just files with ml-style headers.
2019-06-17T16:04:55+00:00

Théo Zimmermann

2019-06-06T09:22:03+00:00

0d5420d3b821a983c5bbdddd254dee4465dc83c7












Remove ml4 from Coq's make build system
2018-11-02T12:48:39+00:00

Gaëtan Gilbert

2018-10-29T13:00:58+00:00

e06875ccc11c52b9b9526858c18358a9c4588099












Updated COPYRIGHT file and header. Improved and fixed header updater.
2010-07-24T15:56:00+00:00

herbelin

2010-07-24T15:56:00+00:00

27882e4edd07e306333fdc024330982741416a19

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13322 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13322 85f007b7-540e-0410-9357-904b9bb8a0f7







New script dev/tools/change-header to automatically update Coq files headers.
2010-06-22T06:31:30+00:00

herbelin

2010-06-22T06:31:30+00:00

d6c87f235a98c05a26b4a0e87129335d034219af

Applied it to fix mli file headers.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13176 85f007b7-540e-0410-9357-904b9bb8a0f7





Applied it to fix mli file headers.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13176 85f007b7-540e-0410-9357-904b9bb8a0f7