Prototype Feature List

The prototype Principia Mathematica II still needs some features. Here is a list of already planned features, their priority and their status.

Num
-ber
DescriptionCategoryPriorityStatusRefer
-ences
Comment
1Deletion of qedeq modules (especially loaded ones)Kernel2done Dependency of loaded modules must be noted: all modules which are descendant must be also deleted.
2Integration of Editor for local Qedeq filesGUI3done1Edit of local modules is already possible, it only has no effect, because changes could not be changed. If the edited module was already successfully loaded, all loaded descendant modules must be deleted (and perhaps loaded again).
3Generation of HTML or LaTeX files for loaded qedeq modulesGUI1done Generation must be started by pop up menu or main menu for the currently selected qedeq module.
4Write log fileKernel2done Log for main events should be written into a file.
5Make log file visibleGUI3done4Make log file visible in GUI window.
6New qedeq fileGUI4done2Create new local qedeq file out of an template.
7Improve experimental HTML viewGUI4missing The experimental HTML view is not properly working. You have to switch it on and of to refresh the view. Sometimes the GUI didn't return.
8Online helpGUI4missing An online help could improve the usability of the prototype.
9Generation of commpressed or modules with reduced rule version for loaded qedeq modulesGUI3done Generation must be started by pop up menu or main menu for the currently selected qedeq module.
10All editable fields should support copy, cut and pasteGUI4missing Support for copy and paste improves the usablity.
11Sort qedeq modules by nameGUI4done An alphabetical sort of qedeq modules in the selection tree makes it easier to find a module.
12Extend qedeq modules with versionGUI4done Because a qedeq module could exist in different rule versions (e.g. 1.00.00 and 1.02.00) and different module versions (e.g. the "new" module) the tree view seems to have multiple entries for a qedeq module.
13save also window size, L&F selection and other parametersGUI4missing This should also improve the usablity.