Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
Thu, 13 Feb 2014 11:54:14 +0100 | wenzelm | do not redefine outer syntax commands; | file | diff | annotate |
Tue, 19 Nov 2013 10:05:53 +0100 | haftmann | eliminiated neg_numeral in favour of - (numeral _) | file | diff | annotate |
Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | 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 |
Sun, 01 Aug 2010 10:15:43 +0200 | bulwahn | setting up Code_Prolog_Examples | file | diff | annotate |