isabelle: File revisions

src/HOL/Codegenerator_Test/Code_Test_Scala.thy

Fri, 18 Aug 2017 20:47:47 +0200	wenzelm	session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;	file \| diff \| annotate
Sat, 22 Apr 2017 22:01:35 +0200	wenzelm	theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;	file \| diff \| annotate
Thu, 26 May 2016 17:51:22 +0200	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
Fri, 18 Dec 2015 11:14:28 +0100	Andreas Lochbihler	add gcd instance for integer and serialisation to target language operations	file \| diff \| annotate
Mon, 16 Mar 2015 16:59:59 +0100	wenzelm	proper headers;	file \| diff \| annotate
Wed, 08 Oct 2014 09:09:12 +0200	Andreas Lochbihler	move Code_Test to HOL/Library;	file \| diff \| annotate
Thu, 02 Oct 2014 17:51:04 +0200	haftmann	accomplish potentially case-insenstive file systems for Scala	file \| diff \| annotate
Tue, 16 Sep 2014 16:04:08 +0200	Andreas Lochbihler	add target language evaluators for the value command;	file \| diff \| annotate
Mon, 25 Aug 2014 09:40:50 +0200	Andreas Lochbihler	add testing framework for generated code	file \| diff \| annotate

isabelle