5 Commits

Author	SHA1	Message	Date
Roland Walker	ae94057a7c	new-style header in coqide	2014-11-13 12:34:37 -05:00
ndr	59b5485e5e	Specify license of coqide	2014-10-11 17:34:56 +01:00
Roland Walker	6fb98f2d14	add license stanza to coqide	2014-10-01 11:42:10 -04:00
Roland Walker	fab32b0dbc	app stanza in coqide.rb	2014-09-15 12:05:25 -04:00
ndr	25fb414a5a	Add Coq IDE, version 8.4pl4	2014-06-29 12:03:54 +01:00