6 Commits

Author	SHA1	Message	Date
Vítor Galvão	343d7ade8b	isabelle.rb: added name	2015-01-23 15:17:20 +00:00
Roland Walker	521cec742b	new-style header in isabelle	2014-11-13 12:35:42 -05:00
ndr	a0f76c67a3	Specify license of isabelle	2014-10-11 17:50:25 +01:00
Roland Walker	157f611c55	add license stanza to isabelle	2014-10-01 11:42:59 -04:00
Roland Walker	40388e3604	app stanza in isabelle.rb	2014-09-15 12:05:45 -04:00
ndr	2547c2c780	Add Isabelle, version 2014	2014-09-08 05:09:45 +02:00