2012-08-22 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
2012-03-25 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
2010-08-25 | bulwahn | invocation of values for prolog execution does not require invocation of code_pred anymore | file | diff | annotate |
2010-08-01 | bulwahn | setting up Code_Prolog_Examples | file | diff | annotate |