Logiweb 0.1.7 was released on GRD-2007-06-24 Changes: Added postinstall information to README Corrected case sensitivity bug in html-dir0 in pyk/html.lisp Corrected f-symbol2associativity bug in pyk/frontend.lisp Constructs for autogenerated pyk/prio tables now recognized by name Bugfix: lgwping now exits when a response is received Corrected error in code for header=suggest Splitted the monolitic tutorial into several tutorials Added new tutorials Bugfix: spydepth and spylength now controls trace output Added period to the list ,[]()<> of characters that can appear after strings Allowed period as separator in bibliographies Allowed separator after last entry in bibliographies Pyk no longer crashes when src option points to non-existing file Now math definitions (c.f. Peano.pyk) are soundness checked once only Added optidump option and corrected fingerprint generation code Added 'print' optimized function Changed definition of 'spy' and 'trace' optimized functions Obtained factor 3 proofcheck speedup by parallel instantiation Added XML rendering Added Mizar interface
Logiweb is a system available under GNU GPL for distribution of * Mathematical definitions, lemmas, and proofs. * Computer programs. * Proof checkers and proof tactics. * Journal quality papers and wiki articles. For more information on Logiweb, see http://logiweb.eu/ Sincerely yours, Klaus Grue _______________________________________________ Logiweb-announce mailing list Logiweb-announce@diku.dk http://lists.diku.dk/mailman/listinfo/logiweb-announce (Web access from inside DIKUs LAN only)