bulwahn [Thu, 29 Jul 2010 17:27:57 +0200] rev 38079
improving translation to prolog; restoring terms from prolog output; adding tracing support
bulwahn [Thu, 29 Jul 2010 17:27:57 +0200] rev 38078
working on parser for prolog reponse
bulwahn [Thu, 29 Jul 2010 17:27:56 +0200] rev 38077
querying for multiple solutions in values command for prolog execution
bulwahn [Thu, 29 Jul 2010 17:27:55 +0200] rev 38076
correcting scanning
bulwahn [Thu, 29 Jul 2010 17:27:55 +0200] rev 38075
adding values command and parsing prolog output
bulwahn [Thu, 29 Jul 2010 17:27:54 +0200] rev 38074
adding example file for prolog code generation; adding prolog code generation example to IsaMakefile
bulwahn [Thu, 29 Jul 2010 17:27:52 +0200] rev 38073
adding a mockup version for prolog code generation
bulwahn [Thu, 29 Jul 2010 17:27:51 +0200] rev 38072
exporting retrieval function for graph of introduction rules in the predicate compiler core
haftmann [Thu, 29 Jul 2010 15:07:52 +0200] rev 38071
merged
haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38070
rebinding ref is illegal
haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38069
tuned example
haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38068
intermediate operation avoids invariance problem in Scala
blanchet [Thu, 29 Jul 2010 12:07:09 +0200] rev 38067
merged
blanchet [Thu, 29 Jul 2010 09:47:23 +0200] rev 38066
kill polymorphic "val"s
blanchet [Thu, 29 Jul 2010 09:41:49 +0200] rev 38065
improved ATP error handling some more
blanchet [Thu, 29 Jul 2010 00:28:57 +0200] rev 38064
shorter URL