Principia Mathematica II Subject: Version History Date: 2004-09-26 *********************************************************************** Prototype Warning ================= This program suite is only a working prototype for the main project *Hilbert II*. It concentrates on the basic logic foundation of mathematics. The software design of the main implementation will be highly different. The following information is only appropriate for this prototype. Look at http://www.qedeq.org/ http://sourceforge.net/projects/pmii/ to get the latest source code and information. Version History =============== Project: com.meyling.principia Author: Michael Meyling (mime) 0.00.53 2004-09-26 mime extended GUI version also includes many improvements: - check for only single instance running - logging and tracing - multi threaded loading - deleting of modules supported thereby dependency of loaded modules is noted: all modules which are descendant are also deleted - generate old HTML (expects an installed "System"-Font) and new HTML (using entities like "∧") simultaneously - creation of new local qedeq file out of an template - support for local qedeq files - experimental HTML view inside the application - start per Java Web Start possible 0.00.52 2003-06-21 mime refactored version, main project has completely new design see under http://www.qedeq.org/ this project will only get small improvements tested under java version 1.4.1 working in eclipse 2.1 under java version 1.3 (puzzling NullpointerException under 1.4!) improved latex generation contains extended project and rule description (in German) 0.00.51 2002-07-08 mime rule reduction extended to predicate calculus now using LaTeX as description language new outside access classes in package com.meyling.principia: MakeLatexModule new Converter: com.meyling.principia.html.Latex2Html 0.00.50 2002-01-27 mime proof compression implemented rule reduction implemented some new rules (needed to perform a rule reduction) see file "rules.txt" declare operator for rules new outside access classes in package com.meyling.principia: CheckModule MakeHtmlModule MakeCompressedModule MakeReducedModule 0.00.49 2001-10-22 mime new package structure new rules and their versions: 1.00.01 HypotheticalSyllogism 1.00.02 RightAddition 1.01.00 SubstLine 1.01.01 ApplyAxiom ApplySentence 1.02.00 ElementaryEquivalence 1.02.01 ConjunctionRule 0.00.48 2001-09-24 mime new ModuleWriter new ModuleContext.compress method new Rule: HypotheticalSyllogism version control implemented 0.00.47 2001-09-07 mime better parsing error support improved html generator javadoc has not so many errors any longer several minor errors corrected 0.00.46 2001-08-19 mime test version package elementary is not supported any longer! better parsing error support (java error syntax) new exceptions: ArgumentException and ParsingException new input: TextInput now the Modules are really hashed.. improved html generator 0.00.45 2001-08-05 mime verification error in package module corrected: ReplacePropositionVariable was not checking enough. This error still holds in package elementary!! also ReplaceBoundSubjectVariable was corrected module elementary is not up to date improved html generator module rule description for html modules 0.00.44 2001-07-28 mime new package "html" for html file generation first module for propositional calculus Status: interim version not fully tested 0.00.43 2001-07-25 mime package module changed arguments of ModuleCreator: know address is needed for loading relative modules PackageTest now only uses SimpleModuleCreator, which doesn't verify a proof at all Testing could be done with class Main, you need the test files in directory "principia/buffer/file/" loading from a web side is working! new classes: Import, ImportList, Specification, Name, Version, LocationList, Location Status: interim version not tested 0.00.42 2000-07-10 mime changed order of this file (now last first) package "module" begun: module headers and imports not complete, but working first basis module is ready!!! Status: basic version New test files all tests ok 0.00.41 2001-06-11 mime reorganization: new packages "argument", "logic.elementary", separated "logic.basic" into these three packages renamed everything in "logic.elementary" into "Elementary*" new class "AbstactFormula" new classes ElementaryPatternVariable and ElementaryPatternVariables - for separating formula stuff from normal pattern matching junit tests for JUnit 3.5 start bin/test.bat for testing start bin/version.bat for renaming versions Status: basic version Changed test files all tests ok 0.00.40 2001-06-04 mime new method in Argument: Argument create(Argument[] arguments) new AbstractFormula AbstractArgument.replaceBoundVariable -> AbstractFormula make no deep copy (don't use copy), only create if necessary Status: interim version PackageTest ok 0.00.39 2001-06-03 mime "LINES" eliminated again "PROOF" -> "EPROOF", "PLINE" -> "PLINE", "PLINEL" -> "EPLINEL" Proof* -> ElementaryProof* Rule -> ElementaryRule Status: interim version PackageTest ok 0.00.38 2001-06-01 mime reorganization: new directories "bin", "check", "doc", "java" renamed all occurrences of "Definition" into "Abbreviation" also DEFINTION, DEFINITIONL, USEDEV, REVDEV were renamed into ABBREV, ABBREVL, USEABR, REVABR now leading zeros in numbers are forbidden 0.00.37 2001-05-11 mime reorganization: new packages "..logic.basic" and "..io" now a comma must separate arguments rename "ArgumentList" into "RegularArgumentList" Status: interim version Changed test files PackageTest ok (only exception.test.9.output wrong) TestConjunction green 0.00.36 2001-05-11 mime TestConjunction extended for testing replaceBoundSubjectVariable reorganization: Text and Counter are inherited from new class AbstractArgumentAtom, most methods of AbstractArgument were changed, so that they could be final new Rule: RenameBoundSubjectVariable new Rule: Generalization new Rule: Particularization Status: basis version: this version implements the first order predicate logic!!! Changed test files PackageTest ok TestConjunction green 0.00.35 2001-05-08 mime new Rule: RenameFreeSubjectVariable should work new Argument method: replaceBoundSubjectVariable Status: interim version PackageTest ok TestConjunction green 0.00.34 2001-04-23 mime new Rule: ReplacePredicateVariable should work Status: PackageTest ok TestConjunction green 0.00.33 2001-04-23 mime new Rule: ReplacePropositionVariable beginning implementation of new rule: ReplacePredicateVariable Status: PackageTest ok TestConjunction green 0.00.32 2001-04-06 mime new data type string could be read from ArgumentCreator Status: interim version 0.00.31 2001-03-20 mime javadoc improved new LineNumberList, used in ModusPonens, UseDefinition new ReverseDefinition changed Definition a ProofLine must now have an PatternVariable-free formula Definition's left and right side must have the same PatternVariables some new construction tests for proofs and their sub arguments Status: PackageTest ok TestConjunction green 0.00.30 2001-03-19 mime javadoc improved changed error text to constants from PrincipiaConstants boolean check -> void check() throws IllegalArgumentException getArgument(1) -> getContent for PatternVariable Status: PackageTest ok TestConjunction green 0.00.00 2000-08-04 mime project *Principia Mathematica II* started