Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
DES1.3.0Ciao.tar.gz | 2007-05-08 | 556.0 kB | |
DES1.3.0Ciao.zip | 2007-05-08 | 559.5 kB | |
DES1.3.0SWI.tar.gz | 2007-05-07 | 545.9 kB | |
DES1.3.0GNU.tar.gz | 2007-05-07 | 545.9 kB | |
DES1.3.0SWI.zip | 2007-05-07 | 548.8 kB | |
DES1.3.0GNU.zip | 2007-05-07 | 548.8 kB | |
releasenotesDES1.3.0 | 2007-05-02 | 1.2 kB | |
releasenotesDES1.3.0.txt | 2007-05-02 | 1.2 kB | |
readmeDES1.3.0 | 2007-05-02 | 837 Bytes | |
DES1.3.0Linux.tar.gz | 2007-05-02 | 2.1 MB | |
DES1.3.0SunOS5.4.tar.gz | 2007-05-02 | 1.1 MB | |
DES1.3.0Sicstus.tar.gz | 2007-05-02 | 546.2 kB | |
manualDES1.3.0.pdf | 2007-05-02 | 673.5 kB | |
DES1.3.0Windows.zip | 2007-05-02 | 964.9 kB | |
DES1.3.0Sicstus.zip | 2007-05-02 | 549.3 kB | |
Totals: 15 Items | 9.3 MB | 0 |
FILE RELEASE CONTENTS ===================== The Datalog Educational System version 1.3.0 (launched on May, 2007) * Documentation manualDES1.3.0.pdf * Source Distribution (Includes documentation): - Ciao Prolog (zipped, tared-gzipped) DES1.3.0Ciao.zip DES1.3.0Ciao.tar.gz - GNU Prolog (zipped, tared-gzipped) DES1.3.0GNU.zip DES1.3.0GNU.tar.gz - Sicstus Prolog (zipped, tared-gzipped) DES1.3.0Sicstus.zip DES1.3.0Sicstus.tar.gz - SWI-Prolog (zipped, tared-gzipped) DES1.3.0SWI.zip DES1.3.0SWI.tar.gz * Executable Distribution (Includes documentation): - Windows Operating Systems (98 and later) DES1.3.0Windows.zip - UNIX SunOS 5.4 DES1.3.0SunOS5.4.tar.gz - Linux (glibc2.3 and Intelx86 platforms) DES1.3.0Linux.tar.gz See http://des.sourceforge.net/