Skip to content

Commit d065316

Browse files
creator1creeper1creator1creeper1
committed
Update compilation
1 parent 1cd95c1 commit d065316

16 files changed

+364
-198
lines changed

‎compile/mmj/gmff/gmffClasses.txt

+26-28
Original file line numberDiff line numberDiff line change
@@ -1,28 +1,26 @@
1-
src\mmj\gmff\EscapePair.java
2-
src\mmj\gmff\GMFFConstants.java
3-
src\mmj\gmff\GMFFException.java
4-
src\mmj\gmff\GMFFExportFile.java
5-
src\mmj\gmff\GMFFExportParms.java
6-
src\mmj\gmff\GMFFExporter.java
7-
src\mmj\gmff\GMFFExporterTypesetDefs.java
8-
src\mmj\gmff\GMFFFileFilter.java
9-
src\mmj\gmff\GMFFFileNotFoundException.java
10-
src\mmj\gmff\GMFFFolder.java
11-
src\mmj\gmff\GMFFInputFile.java
12-
src\mmj\gmff\GMFFManager.java
13-
src\mmj\gmff\GMFFMandatoryModelNotFoundException.java
14-
src\mmj\gmff\GMFFUserExportChoice.java
15-
src\mmj\gmff\GMFFUserTextEscapes.java
16-
src\mmj\gmff\MinCommentStmt.java
17-
src\mmj\gmff\MinDerivationStep.java
18-
src\mmj\gmff\MinDistinctVariablesStmt.java
19-
src\mmj\gmff\MinFooterStmt.java
20-
src\mmj\gmff\MinGeneratedProofStmt.java
21-
src\mmj\gmff\MinHeaderStmt.java
22-
src\mmj\gmff\MinHypothesisStep.java
23-
src\mmj\gmff\MinProofStepStmt.java
24-
src\mmj\gmff\MinProofWorkStmt.java
25-
src\mmj\gmff\MinProofWorksheet.java
26-
src\mmj\gmff\ModelAExporter.java
27-
src\mmj\gmff\ProofWorksheetCache.java
28-
src\mmj\gmff\TypesetDefCommentParser.java
1+
src\main\java\mmj\gmff\EscapePair.java
2+
src\main\java\mmj\gmff\GMFFConstants.java
3+
src\main\java\mmj\gmff\GMFFException.java
4+
src\main\java\mmj\gmff\GMFFExportFile.java
5+
src\main\java\mmj\gmff\GMFFExportParms.java
6+
src\main\java\mmj\gmff\GMFFExporter.java
7+
src\main\java\mmj\gmff\GMFFExporterTypesetDefs.java
8+
src\main\java\mmj\gmff\GMFFFileFilter.java
9+
src\main\java\mmj\gmff\GMFFFolder.java
10+
src\main\java\mmj\gmff\GMFFInputFile.java
11+
src\main\java\mmj\gmff\GMFFManager.java
12+
src\main\java\mmj\gmff\GMFFUserExportChoice.java
13+
src\main\java\mmj\gmff\GMFFUserTextEscapes.java
14+
src\main\java\mmj\gmff\MinCommentStmt.java
15+
src\main\java\mmj\gmff\MinDerivationStep.java
16+
src\main\java\mmj\gmff\MinDistinctVariablesStmt.java
17+
src\main\java\mmj\gmff\MinFooterStmt.java
18+
src\main\java\mmj\gmff\MinGeneratedProofStmt.java
19+
src\main\java\mmj\gmff\MinHeaderStmt.java
20+
src\main\java\mmj\gmff\MinHypothesisStep.java
21+
src\main\java\mmj\gmff\MinProofStepStmt.java
22+
src\main\java\mmj\gmff\MinProofWorkStmt.java
23+
src\main\java\mmj\gmff\MinProofWorksheet.java
24+
src\main\java\mmj\gmff\ModelAExporter.java
25+
src\main\java\mmj\gmff\ProofWorksheetCache.java
26+
src\main\java\mmj\gmff\TypesetDefCommentParser.java

‎compile/mmj/lang/langClasses.txt

+34-38
Original file line numberDiff line numberDiff line change
@@ -1,38 +1,34 @@
1-
src\mmj\lang\Assrt.java
2-
src\mmj\lang\Axiom.java
3-
src\mmj\lang\BookManager.java
4-
src\mmj\lang\Chapter.java
5-
src\mmj\lang\Cnst.java
6-
src\mmj\lang\DjVars.java
7-
src\mmj\lang\Formula.java
8-
src\mmj\lang\Hyp.java
9-
src\mmj\lang\LangConstants.java
10-
src\mmj\lang\LangException.java
11-
src\mmj\lang\LogHyp.java
12-
src\mmj\lang\LogicFormula.java
13-
src\mmj\lang\LogicalSystem.java
14-
src\mmj\lang\MObj.java
15-
src\mmj\lang\MandFrame.java
16-
src\mmj\lang\Messages.java
17-
src\mmj\lang\OptFrame.java
18-
src\mmj\lang\ParseNode.java
19-
src\mmj\lang\ParseNodeHolder.java
20-
src\mmj\lang\ParseTree.java
21-
src\mmj\lang\ProofCompression.java
22-
src\mmj\lang\ProofVerifier.java
23-
src\mmj\lang\ScopeDef.java
24-
src\mmj\lang\Section.java
25-
src\mmj\lang\SeqAssigner.java
26-
src\mmj\lang\SystemLoader.java
27-
src\mmj\lang\Stmt.java
28-
src\mmj\lang\Sym.java
29-
src\mmj\lang\SyntaxVerifier.java
30-
src\mmj\lang\Theorem.java
31-
src\mmj\lang\TheoremLoaderException.java
32-
src\mmj\lang\Var.java
33-
src\mmj\lang\VarHyp.java
34-
src\mmj\lang\VarHypFormula.java
35-
src\mmj\lang\VerifyException.java
36-
src\mmj\lang\WorkVar.java
37-
src\mmj\lang\WorkVarHyp.java
38-
src\mmj\lang\WorkVarManager.java
1+
src\main\java\mmj\lang\Assrt.java
2+
src\main\java\mmj\lang\Axiom.java
3+
src\main\java\mmj\lang\BookManager.java
4+
src\main\java\mmj\lang\Chapter.java
5+
src\main\java\mmj\lang\Cnst.java
6+
src\main\java\mmj\lang\DjVars.java
7+
src\main\java\mmj\lang\Formula.java
8+
src\main\java\mmj\lang\Hyp.java
9+
src\main\java\mmj\lang\LangConstants.java
10+
src\main\java\mmj\lang\LangException.java
11+
src\main\java\mmj\lang\LogHyp.java
12+
src\main\java\mmj\lang\LogicalSystem.java
13+
src\main\java\mmj\lang\MObj.java
14+
src\main\java\mmj\lang\Messages.java
15+
src\main\java\mmj\lang\ParseNode.java
16+
src\main\java\mmj\lang\ParseNodeHolder.java
17+
src\main\java\mmj\lang\ParseTree.java
18+
src\main\java\mmj\lang\ProofCompression.java
19+
src\main\java\mmj\lang\ProofVerifier.java
20+
src\main\java\mmj\lang\ScopeDef.java
21+
src\main\java\mmj\lang\ScopeFrame.java
22+
src\main\java\mmj\lang\Section.java
23+
src\main\java\mmj\lang\SeqAssigner.java
24+
src\main\java\mmj\lang\Stmt.java
25+
src\main\java\mmj\lang\Sym.java
26+
src\main\java\mmj\lang\SyntaxVerifier.java
27+
src\main\java\mmj\lang\SystemLoader.java
28+
src\main\java\mmj\lang\Theorem.java
29+
src\main\java\mmj\lang\Var.java
30+
src\main\java\mmj\lang\VarHyp.java
31+
src\main\java\mmj\lang\VarHypSubst.java
32+
src\main\java\mmj\lang\WorkVar.java
33+
src\main\java\mmj\lang\WorkVarHyp.java
34+
src\main\java\mmj\lang\WorkVarManager.java

‎compile/mmj/mmio/mmioClasses.txt

+8-14
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,8 @@
1-
src\mmj\mmio\MMIOConstants.java
2-
src\mmj\mmio\MMIOException.java
3-
src\mmj\mmio\MMIOError.java
4-
src\mmj\mmio\Tokenizer.java
5-
src\mmj\mmio\SrcStmt.java
6-
src\mmj\mmio\Statementizer.java
7-
src\mmj\mmio\IncludeFile.java
8-
src\mmj\mmio\Systemizer.java
9-
10-
11-
12-
13-
14-
1+
src\main\java\mmj\mmio\BlockList.java
2+
src\main\java\mmj\mmio\IncludeFile.java
3+
src\main\java\mmj\mmio\MMIOConstants.java
4+
src\main\java\mmj\mmio\MMIOException.java
5+
src\main\java\mmj\mmio\SrcStmt.java
6+
src\main\java\mmj\mmio\Statementizer.java
7+
src\main\java\mmj\mmio\Systemizer.java
8+
src\main\java\mmj\mmio\Tokenizer.java

‎compile/mmj/pa/paClasses.txt

+43-35
Original file line numberDiff line numberDiff line change
@@ -1,35 +1,43 @@
1-
src\mmj\pa\PaConstants.java
2-
src\mmj\pa\PreprocessRequest.java
3-
src\mmj\pa\EraseWffsPreprocessRequest.java
4-
src\mmj\pa\AuxFrameGUI.java
5-
src\mmj\pa\HelpGeneralInfoGUI.java
6-
src\mmj\pa\RequestMessagesGUI.java
7-
src\mmj\pa\ProofAsstCursor.java
8-
src\mmj\pa\ProofAsstException.java
9-
src\mmj\pa\ProofAsstPreferences.java
10-
src\mmj\pa\ProofWorkStmt.java
11-
src\mmj\pa\HeaderStmt.java
12-
src\mmj\pa\ProofStepStmt.java
13-
src\mmj\pa\HypothesisStep.java
14-
src\mmj\pa\DerivationStep.java
15-
src\mmj\pa\CommentStmt.java
16-
src\mmj\pa\DistinctVariablesStmt.java
17-
src\mmj\pa\GeneratedProofStmt.java
18-
src\mmj\pa\FooterStmt.java
19-
src\mmj\pa\ProofWorksheet.java
20-
src\mmj\pa\ProofWorksheetParser.java
21-
src\mmj\pa\StepRequest.java
22-
src\mmj\pa\StepSelectorItem.java
23-
src\mmj\pa\StepSelectorResults.java
24-
src\mmj\pa\StepSelectorStore.java
25-
src\mmj\pa\StepSelectorSearch.java
26-
src\mmj\pa\StepSelectorDialog.java
27-
src\mmj\pa\ProofUnifier.java
28-
src\mmj\pa\UnifySubst.java
29-
src\mmj\pa\StepUnifier.java
30-
src\mmj\pa\ProofAsstGUI.java
31-
src\mmj\pa\ProofAsst.java
32-
33-
34-
35-
1+
src\main\java\mmj\pa\AuxFrameGUI.java
2+
src\main\java\mmj\pa\BaseSetting.java
3+
src\main\java\mmj\pa\ColorThread.java
4+
src\main\java\mmj\pa\CommentStmt.java
5+
src\main\java\mmj\pa\CompoundUndoManager.java
6+
src\main\java\mmj\pa\DerivationStep.java
7+
src\main\java\mmj\pa\DistinctVariablesStmt.java
8+
src\main\java\mmj\pa\EraseWffsPreprocessRequest.java
9+
src\main\java\mmj\pa\ErrorCode.java
10+
src\main\java\mmj\pa\FooterStmt.java
11+
src\main\java\mmj\pa\GeneratedProofStmt.java
12+
src\main\java\mmj\pa\HeaderStmt.java
13+
src\main\java\mmj\pa\HelpGeneralInfoGUI.java
14+
src\main\java\mmj\pa\HighlightedDocument.java
15+
src\main\java\mmj\pa\HypothesisStep.java
16+
src\main\java\mmj\pa\MMJException.java
17+
src\main\java\mmj\pa\MacroManager.java
18+
src\main\java\mmj\pa\MacroStmt.java
19+
src\main\java\mmj\pa\PaConstants.java
20+
src\main\java\mmj\pa\PreprocessRequest.java
21+
src\main\java\mmj\pa\ProofAsst.java
22+
src\main\java\mmj\pa\ProofAsstCursor.java
23+
src\main\java\mmj\pa\ProofAsstException.java
24+
src\main\java\mmj\pa\ProofAsstGUI.java
25+
src\main\java\mmj\pa\ProofAsstPreferences.java
26+
src\main\java\mmj\pa\ProofStepStmt.java
27+
src\main\java\mmj\pa\ProofUnifier.java
28+
src\main\java\mmj\pa\ProofWorkStmt.java
29+
src\main\java\mmj\pa\ProofWorksheet.java
30+
src\main\java\mmj\pa\ProofWorksheetParser.java
31+
src\main\java\mmj\pa\RequestMessagesGUI.java
32+
src\main\java\mmj\pa\Serializer.java
33+
src\main\java\mmj\pa\SessionStore.java
34+
src\main\java\mmj\pa\Setting.java
35+
src\main\java\mmj\pa\StepRequest.java
36+
src\main\java\mmj\pa\StepSelectorDialog.java
37+
src\main\java\mmj\pa\StepSelectorItem.java
38+
src\main\java\mmj\pa\StepSelectorResults.java
39+
src\main\java\mmj\pa\StepSelectorSearch.java
40+
src\main\java\mmj\pa\StepSelectorStore.java
41+
src\main\java\mmj\pa\StepUnifier.java
42+
src\main\java\mmj\pa\UnifySubst.java
43+
src\main\java\mmj\pa\WorksheetTokenizer.java

‎compile/mmj/search/searchClasses.txt

+121
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,121 @@
1+
src\main\java\mmj\search\AutoSelect.java
2+
src\main\java\mmj\search\AutoSelectScrnMap.java
3+
src\main\java\mmj\search\Bool.java
4+
src\main\java\mmj\search\BoolScrnMap.java
5+
src\main\java\mmj\search\ChapSecHierarchy.java
6+
src\main\java\mmj\search\ChapSecHierarchyScrnMap.java
7+
src\main\java\mmj\search\CharStrSearchDataLine.java
8+
src\main\java\mmj\search\Comments.java
9+
src\main\java\mmj\search\CommentsScrnMap.java
10+
src\main\java\mmj\search\CompiledSearchArgs.java
11+
src\main\java\mmj\search\DoubleQuote.java
12+
src\main\java\mmj\search\DoubleQuoteScrnMap.java
13+
src\main\java\mmj\search\ExclLabels.java
14+
src\main\java\mmj\search\ExclLabelsScrnMap.java
15+
src\main\java\mmj\search\ForWhat.java
16+
src\main\java\mmj\search\ForWhatScrnMap.java
17+
src\main\java\mmj\search\Format.java
18+
src\main\java\mmj\search\FormatScrnMap.java
19+
src\main\java\mmj\search\FromChap.java
20+
src\main\java\mmj\search\FromChapScrnMap.java
21+
src\main\java\mmj\search\FromSec.java
22+
src\main\java\mmj\search\FromSecScrnMap.java
23+
src\main\java\mmj\search\InWhat.java
24+
src\main\java\mmj\search\InWhatScrnMap.java
25+
src\main\java\mmj\search\MaxExtResults.java
26+
src\main\java\mmj\search\MaxExtResultsScrnMap.java
27+
src\main\java\mmj\search\MaxHyps.java
28+
src\main\java\mmj\search\MaxHypsScrnMap.java
29+
src\main\java\mmj\search\MaxIncompHyps.java
30+
src\main\java\mmj\search\MaxIncompHypsScrnMap.java
31+
src\main\java\mmj\search\MaxResults.java
32+
src\main\java\mmj\search\MaxResultsScrnMap.java
33+
src\main\java\mmj\search\MaxTime.java
34+
src\main\java\mmj\search\MaxTimeScrnMap.java
35+
src\main\java\mmj\search\MetamathSearchDataLine.java
36+
src\main\java\mmj\search\MinHyps.java
37+
src\main\java\mmj\search\MinHypsScrnMap.java
38+
src\main\java\mmj\search\MinProofRefs.java
39+
src\main\java\mmj\search\MinProofRefsScrnMap.java
40+
src\main\java\mmj\search\Oper.java
41+
src\main\java\mmj\search\OperScrnMap.java
42+
src\main\java\mmj\search\OrSeparator.java
43+
src\main\java\mmj\search\OrSeparatorScrnMap.java
44+
src\main\java\mmj\search\OutputSort.java
45+
src\main\java\mmj\search\OutputSortScrnMap.java
46+
src\main\java\mmj\search\ParseExprSearchDataLine.java
47+
src\main\java\mmj\search\ParseStmtSearchDataLine.java
48+
src\main\java\mmj\search\ParsedSearchTerm.java
49+
src\main\java\mmj\search\Part.java
50+
src\main\java\mmj\search\PartScrnMap.java
51+
src\main\java\mmj\search\PrevStepsChecked.java
52+
src\main\java\mmj\search\PrevStepsCheckedScrnMap.java
53+
src\main\java\mmj\search\ProximityScoring.java
54+
src\main\java\mmj\search\ProximityScoringScrnMap.java
55+
src\main\java\mmj\search\QuotedSearchTerm.java
56+
src\main\java\mmj\search\RegExprSearchDataLine.java
57+
src\main\java\mmj\search\ResultsChecked.java
58+
src\main\java\mmj\search\ResultsCheckedScrnMap.java
59+
src\main\java\mmj\search\ReuseDerivSteps.java
60+
src\main\java\mmj\search\ReuseDerivStepsScrnMap.java
61+
src\main\java\mmj\search\SearchArgs.java
62+
src\main\java\mmj\search\SearchArgsCheckBox.java
63+
src\main\java\mmj\search\SearchArgsComboBox.java
64+
src\main\java\mmj\search\SearchArgsField.java
65+
src\main\java\mmj\search\SearchArgsInt.java
66+
src\main\java\mmj\search\SearchArgsLong.java
67+
src\main\java\mmj\search\SearchArgsTextField.java
68+
src\main\java\mmj\search\SearchConstants.java
69+
src\main\java\mmj\search\SearchDataGetter.java
70+
src\main\java\mmj\search\SearchDataLine.java
71+
src\main\java\mmj\search\SearchDataLines.java
72+
src\main\java\mmj\search\SearchEngine.java
73+
src\main\java\mmj\search\SearchError.java
74+
src\main\java\mmj\search\SearchJTextFieldPopupMenu.java
75+
src\main\java\mmj\search\SearchJTextFieldPopupMenuListener.java
76+
src\main\java\mmj\search\SearchMgr.java
77+
src\main\java\mmj\search\SearchOptionsButtonAttr.java
78+
src\main\java\mmj\search\SearchOptionsButtonHandler.java
79+
src\main\java\mmj\search\SearchOptionsConstants.java
80+
src\main\java\mmj\search\SearchOptionsFieldAttr.java
81+
src\main\java\mmj\search\SearchOptionsFrame.java
82+
src\main\java\mmj\search\SearchOptionsHelp.java
83+
src\main\java\mmj\search\SearchOptionsIntField.java
84+
src\main\java\mmj\search\SearchOptionsJButton.java
85+
src\main\java\mmj\search\SearchOptionsJCheckBox.java
86+
src\main\java\mmj\search\SearchOptionsJComboBox.java
87+
src\main\java\mmj\search\SearchOptionsJIntegerTextField.java
88+
src\main\java\mmj\search\SearchOptionsJTextField.java
89+
src\main\java\mmj\search\SearchOptionsPosIntField.java
90+
src\main\java\mmj\search\SearchOptionsScrnMap.java
91+
src\main\java\mmj\search\SearchOptionsScrnMapField.java
92+
src\main\java\mmj\search\SearchOutput.java
93+
src\main\java\mmj\search\SearchOutputStore.java
94+
src\main\java\mmj\search\SearchResultsButtonAttr.java
95+
src\main\java\mmj\search\SearchResultsButtonHandler.java
96+
src\main\java\mmj\search\SearchResultsConstants.java
97+
src\main\java\mmj\search\SearchResultsData.java
98+
src\main\java\mmj\search\SearchResultsDataField.java
99+
src\main\java\mmj\search\SearchResultsFieldAttr.java
100+
src\main\java\mmj\search\SearchResultsFrame.java
101+
src\main\java\mmj\search\SearchResultsHelp.java
102+
src\main\java\mmj\search\SearchResultsJButton.java
103+
src\main\java\mmj\search\SearchResultsPopupMenuListener.java
104+
src\main\java\mmj\search\SearchResultsScrnMap.java
105+
src\main\java\mmj\search\SearchResultsScrnMapField.java
106+
src\main\java\mmj\search\SearchSelectionItem.java
107+
src\main\java\mmj\search\SearchSelectionJList.java
108+
src\main\java\mmj\search\SearchSelectionScrnMap.java
109+
src\main\java\mmj\search\SearchUnifier.java
110+
src\main\java\mmj\search\SingleQuote.java
111+
src\main\java\mmj\search\SingleQuoteScrnMap.java
112+
src\main\java\mmj\search\Stats.java
113+
src\main\java\mmj\search\StatsScrnMap.java
114+
src\main\java\mmj\search\Substitutions.java
115+
src\main\java\mmj\search\SubstitutionsScrnMap.java
116+
src\main\java\mmj\search\ThruChap.java
117+
src\main\java\mmj\search\ThruChapScrnMap.java
118+
src\main\java\mmj\search\ThruSec.java
119+
src\main\java\mmj\search\ThruSecScrnMap.java
120+
src\main\java\mmj\search\Unifiable.java
121+
src\main\java\mmj\search\UnifiableScrnMap.java

‎compile/mmj/setmm/setmmClasses.txt

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
src\main\java\mmj\setmm\FolTranslator.java
2+
src\main\java\mmj\setmm\LFTerm.java
3+
src\main\java\mmj\setmm\LFType.java
4+
src\main\java\mmj\setmm\SetMMConstants.java
5+
src\main\java\mmj\setmm\SetMMException.java

‎compile/mmj/svc/svcClasses.txt

+1-5
Original file line numberDiff line numberDiff line change
@@ -1,5 +1 @@
1-
src\mmj\svc\SvcCallback.java
2-
3-
4-
5-
1+
src\main\java\mmj\svc\SvcCallback.java

‎compile/mmj/tl/tlClasses.txt

+13-18
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,13 @@
1-
2-
src\mmj\tl\TheoremLoaderCommitListener.java
3-
src\mmj\tl\TheoremStmtGroup.java
4-
src\mmj\tl\TlConstants.java
5-
src\mmj\tl\MMTFileFilter.java
6-
src\mmj\tl\MMTFolder.java
7-
src\mmj\tl\MMTTheoremExportFormatter.java
8-
src\mmj\tl\MMTTheoremFile.java
9-
src\mmj\tl\MMTTheoremSet.java
10-
src\mmj\tl\TlPreferences.java
11-
src\mmj\tl\TheoremLoader.java
12-
src\mmj\tl\TLRequest.java
13-
src\mmj\tl\StoreInLogSysAndMMTFolderTLRequest.java
14-
src\mmj\tl\StoreInMMTFolderTLRequest.java
15-
16-
17-
18-
1+
src\main\java\mmj\tl\MMTFileFilter.java
2+
src\main\java\mmj\tl\MMTFolder.java
3+
src\main\java\mmj\tl\MMTTheoremExportFormatter.java
4+
src\main\java\mmj\tl\MMTTheoremFile.java
5+
src\main\java\mmj\tl\MMTTheoremSet.java
6+
src\main\java\mmj\tl\StoreInMMTFolderTLRequest.java
7+
src\main\java\mmj\tl\TLRequest.java
8+
src\main\java\mmj\tl\TheoremLoader.java
9+
src\main\java\mmj\tl\TheoremLoaderCommitListener.java
10+
src\main\java\mmj\tl\TheoremLoaderException.java
11+
src\main\java\mmj\tl\TheoremStmtGroup.java
12+
src\main\java\mmj\tl\TlConstants.java
13+
src\main\java\mmj\tl\TlPreferences.java

0 commit comments

Comments
 (0)