| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
| Thu, 13 Feb 2014 11:54:14 +0100 |
wenzelm |
do not redefine outer syntax commands;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 21:21:48 +0100 |
wenzelm |
modernized imports (untested!?);
|
file |
diff |
annotate
|
| Fri, 07 Jan 2011 23:30:29 +0100 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 17:25:22 +0200 |
nipkow |
hide Sum_Type.Plus
|
file |
diff |
annotate
|
| Thu, 30 Sep 2010 10:48:12 +0200 |
bulwahn |
adapting manual configuration in examples
|
file |
diff |
annotate
|
| Thu, 16 Sep 2010 13:49:12 +0200 |
bulwahn |
adding values to show and ensure that values works with complex terms and restores numerals on natural numbers
|
file |
diff |
annotate
|
| Thu, 16 Sep 2010 13:49:08 +0200 |
bulwahn |
adapting examples
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 11:51:53 +0200 |
bulwahn |
adapting example files
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 15:21:56 +0200 |
bulwahn |
adapting and tuning example theories
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 08:00:53 +0200 |
bulwahn |
storing options for prolog code generation in the theory
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 08:00:52 +0200 |
bulwahn |
adapting example files to latest changes
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 09:34:06 +0200 |
bulwahn |
added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 14:48:48 +0200 |
bulwahn |
adapted examples; tuned
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:55 +0200 |
bulwahn |
renaming variables to conform to prolog names
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:50 +0200 |
bulwahn |
invocation of values for prolog execution does not require invocation of code_pred anymore
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:48 +0200 |
bulwahn |
improving ensure_groundness in prolog generation; added further example
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:46 +0200 |
bulwahn |
adding very basic transformation to ensure groundness before negations
|
file |
diff |
annotate
|
| Sun, 01 Aug 2010 10:15:43 +0200 |
bulwahn |
setting up Code_Prolog_Examples
|
file |
diff |
annotate
|
| Sun, 01 Aug 2010 10:15:43 +0200 |
bulwahn |
adding queens and symbolic derivation example for prolog code generation
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 17:27:58 +0200 |
bulwahn |
cleaning example file; more natural ordering of variable names
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 17:27:55 +0200 |
bulwahn |
adding values command and parsing prolog output
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 17:27:54 +0200 |
bulwahn |
adding example file for prolog code generation; adding prolog code generation example to IsaMakefile
|
file |
diff |
annotate
|