7 commits

Author	SHA1	Message	Date
Vítor Galvão	36a2903770	coqide.rb: added name	2015-01-06 03:24:41 +00:00
Florian Harbecke	5719938607	Updated CoqIDE to 8.4pl5; Changed protocol to https	2014-11-20 10:21:10 +01:00
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