The prototype Principia Mathematica II still needs some features. Here is a list of already planned features, their priority and their status.
Num -ber | Description | Category | Priority | Status | Refer -ences | Comment |
---|---|---|---|---|---|---|
1 | Deletion of qedeq modules (especially loaded ones) | Kernel | 2 | done | Dependency of loaded modules must be noted: all modules which are descendant must be also deleted. | |
2 | Integration of Editor for local Qedeq files | GUI | 3 | done | 1 | Edit 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). |
3 | Generation of HTML or LaTeX files for loaded qedeq modules | GUI | 1 | done | Generation must be started by pop up menu or main menu for the currently selected qedeq module. | |
4 | Write log file | Kernel | 2 | done | Log for main events should be written into a file. | |
5 | Make log file visible | GUI | 3 | done | 4 | Make log file visible in GUI window. |
6 | New qedeq file | GUI | 4 | done | 2 | Create new local qedeq file out of an template. |
7 | Improve experimental HTML view | GUI | 4 | missing | 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. | |
8 | Online help | GUI | 4 | missing | An online help could improve the usability of the prototype. | |
9 | Generation of commpressed or modules with reduced rule version for loaded qedeq modules | GUI | 3 | done | Generation must be started by pop up menu or main menu for the currently selected qedeq module. | |
10 | All editable fields should support copy, cut and paste | GUI | 4 | missing | Support for copy and paste improves the usablity. | |
11 | Sort qedeq modules by name | GUI | 4 | done | An alphabetical sort of qedeq modules in the selection tree makes it easier to find a module. | |
12 | Extend qedeq modules with version | GUI | 4 | done | 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. | |
13 | save also window size, L&F selection and other parameters | GUI | 4 | missing | This should also improve the usablity. |