4 Commits

Author	SHA1	Message	Date
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