2 ################################################################
3 ################################################################
4 ### isac/src/java ##############################################
5 ### isac/src/java ##############################################
6 ### isac/src/java ##############################################
7 ################################################################
8 ################################################################
10 |-- CLEANUP . . . . . .
11 |-- CalcHeadPanel.properties . . . . . .
12 |-- CalcHeadPanel_en_US.properties . . . . . .
13 |-- MenuBar.properties . . . . . .
14 |-- MenuBar_de_DE.properties . . . . . .
15 |-- MenuBar_en_US.properties . . . . . .
16 |-- ProblemBrowserPanel.properties . . . . . .
17 |-- _INFO-eclipse-cvs.txt . . . . . .
18 |-- _INSTALL . . . . . .
19 |-- _README . . . . . .
20 |-- _TEMPLATE-build.xml . . . . . .
22 | |-- bridge . . . . . .
23 | | |-- BridgeLogger.java . . . . . .
24 | | |-- BridgeMain.java . . . . . .
25 | | |-- BridgeRMI.java . . . . . .
26 | | |-- CalcIterator.java . . . . . .
27 | | |-- CalcTree.java . . . . MK .
28 | | |-- ClientList.java . . . . . .
29 | | |-- ClientOutputWorker.java . . . . . .
30 | | |-- Clients2KernelServer.java . . . . . .
31 | | |-- IBridgeRMI.java . . . . . .
32 | | |-- Kernel2ClientsServer.java . . . . . .
33 | | |-- MathEngine.java . . . . . .
34 | | |-- SMLThread.java . . . . . .
35 | | `-- TimeCheckerThread.java . . . . . .
36 | |-- browserdialog . . . . . .
37 | | |-- BDialog.java GK RK ML JL . .
38 | | |-- BrowserDialog.java GK RK ML JL . .
39 | | |-- ExampleBrowserDialog.java . . . JL . .
40 | | |-- JavaServer.java . . . . . .
41 | | |-- MethodBrowserDialog.java . RK . JL . .
42 | | `-- ProblemBrowserDialog.java GK . . JL . .
44 | | |-- CalcHeadPanel.java . . . . MK .
45 | | |-- IGuiConstants.java . . . . . .
46 | | |-- ILoginListener.java . . . . . LK
47 | | |-- IToWorksheetUser.java . . . . . LK
48 | | |-- LoginEvent.java . . . . . LK
49 | | |-- LoginScreen.java . . . . . LK
50 | | |-- TacticPanel.java . . . . . LK
51 | | |-- WindowApplication.java . . . . . LK
52 | | |-- Worksheet.java . . . . MK LK
53 | | |-- WorksheetRMI.java . . . . . LK
54 | | |-- browser . . . . . .
55 | | | |-- BrowserFrame.java GK RK ML JL . .
56 | | | |-- BrowserFrameRMI.java . . . JL . .
57 | | | |-- BrowserTreeModel.java . . ML JL . .
58 | | | |-- BrowserWindow.java GK RK ML JL . .
59 | | | |-- ExampleBrowserFrame.java . . ML . . .
60 | | | |-- ExampleBrowserWindow.java . . ML . . .
61 | | | |-- MethodBrowserFrame.java . RK . . . .
62 | | | |-- MethodBrowserWindow.java . RK . JL . .
63 | | | |-- ProblemBrowserFrame.java GK . . JL . .
64 | | | |-- ProblemBrowserWindow.java GK . . JL . .
65 | | | |-- minibrowser . . . JL . .
66 | | | | |-- IMiniBrowser.java . . . JL . .
67 | | | | `-- MiniBrowser.java . . . JL . .
68 | | | |-- panels . . . JL . .
69 | | | | |-- BrowserPanel.java . . . JL . .
70 | | | | |-- ContentPanel.java . . . JL . .
71 | | | | |-- ExampleBrowserPanel.java . . ML . . .
72 | | | | |-- MethodBrowserPanel.java . . . JL . .
73 | | | | |-- ProblemBrowserPanel.java . . . JL . .
74 | | | | `-- TabPanel.java . . . JL . .
75 | | |-- calcheadviews . . . . MK .
76 | | | |-- CalcHeadView.java . . . . MK .
77 | | | |-- HeadLinePanel.java . . . . MK .
78 | | | |-- ICalcHeadView.java . . . . MK .
79 | | | |-- ModelItemsPanels.java . . . . MK .
80 | | | |-- ModelPanel.java . . . . MK .
81 | | | `-- SpecificationPanel.java . . . . MK .
82 | | |-- treetable . . . . . .
83 | | | |-- AbstractCellEditor.java . . . . . LK
84 | | | |-- AbstractTreeModel.java . . . . . LK
85 | | | |-- CalcModelHierarchy.java . . . . . LK
86 | | | |-- CalcModelNode.java . . . . . LK
87 | | | |-- CalculationModel.java . . . . . LK
88 | | | `-- CustomTreeCellRenderer.java . . . . . LK
89 | | `-- util . . . . . .
90 | | |-- ExampleNode.java . . ML . . .
91 | | |-- Hierarchy.java . . ML JL . .
92 | | |-- HierarchyNode.java . . ML JL . .
93 | | |-- MethodNode.java . RK . JL . .
94 | | |-- ProblemNode.java GK . . JL . .
95 | | |-- SpringUtilities.java . . . . . .
96 | | |-- SwingWorker.java . . . . . .
97 | |-- interfaces . . . . . .
98 | | |-- ICalcElement.java . . . . . .
99 | | |-- ICalcIterator.java . . . . . .
100 | | |-- IGuiToGui.java . . . JL MK .
101 | | |-- IToCalc.java . . . . MK .
102 | | |-- IToGUI.java . . . . . .
103 | | `-- IToUser.java . . . . . .
104 | |-- kestore . . . . . .
105 | | |-- KEStore.java . . ML JL . .
106 | | `-- KEStoreServices.java . . ML JL . .
107 | |-- session . . . . . .
108 | | |-- Handler.java . . . . . .
109 | | |-- IObjectManager.java . . . . . .
110 | | |-- ISessionManger.java . . . . . .
111 | | |-- ObjectManager.java . . . . . .
112 | | |-- SessionManager.java . . . JL . .
113 | | |-- UserManager.java . . . . . LK
114 | | `-- WSDHandler.java . . . . . .
115 | |-- useractions . . . . . .
116 | |-- ActionOnUIElement.java . . . . . .
117 | |-- IUIAction.java . . . JL MK .
118 | |-- IUIElement.java . . . JL MK .
119 | |-- IUserAction.java . . . . . .
120 | |-- UIAction.java . . . . . .
121 | |-- UIActionOnCalcElement.java . . . . . .
122 | |-- UIActionOnFormalization.java . . . JL . .
123 | |-- UIActionOnHierarchy.java . . . JL . .
124 | |-- UIActionOnIterator.java . . . . . .
125 | |-- UIActionOnKEStoreID.java . . . JL . .
126 | |-- UIActionOnModel.java . . . JL . .
127 | |-- UIActionOnString.java . . . JL . .
128 | |-- UserAction.java . . . . . .
129 | |-- UserActionOnCalcElement.java . . . . . .
130 | |-- UserActionOnCalcHeadPanel.java . . . . . .
131 | |-- UserActionOnInt.java . . . . . .
132 | |-- UserActionOnIterator.java . . . . . .
133 | |-- UserActionOnKEStoreIDAndWSDID.java . . . JL . .
134 | |-- UserActionOnKEStoreID.java . . . JL . .
135 | `-- UserActionOnString.java . . . JL . .
136 | |-- util . . . . . .
137 | | |-- AutoCalculateException.java . . . . . .
138 | | |-- CalcChanged.java . . . . . .
139 | | |-- CalcChangedEvent.java . . . . . .
140 | | |-- CalcEvent.java . . . . . LK
141 | | |-- CalcMessage.java . . . . . LK
142 | | |-- Formalization.java . . . . . .
143 | | |-- InformationProcessor.java . . . . . .
144 | | |-- Message.java . . . . . .
145 | | |-- NotInSpecificationPhaseException.java . . . . . .
146 | | |-- ResponseWrapper.java . . . . . .
147 | | |-- Variant.java . . . . . .
148 | | |-- formulae . . . . . .
149 | | | |-- Assumptions.java . . . . . .
150 | | | |-- CalcElement.java . . . . . .
151 | | | |-- CalcFormula.java . . . . . .
152 | | | |-- CalcHead.java . . . . MK .
153 | | | |-- CalcHeadSimpleID.java . . . . MK .
154 | | | |-- FormHeadsContainer.java . . . . MK .
155 | | | |-- Formula.java . . . . . .
156 | | | |-- KEStoreID.java . . . . MK .
157 | | | |-- Match.java GK RK . JL . .
158 | | | |-- MethodID.java . . . . . .
159 | | | |-- Model.java . . . . MK .
160 | | | |-- ModelItem.java . . . . MK .
161 | | | |-- ModelItemList.java . . . . MK .
162 | | | |-- Position.java . . . . . .
163 | | | |-- ProblemID.java . . . . . .
164 | | | |-- Specification.java . . . . . .
165 | | | `-- TermSelector.java . . . . . .
166 | | |-- genhtml . . ML . . .
167 | | | |-- Encoder.java . . ML . . .
168 | | | |-- GenHTML.java . . ML . . .
169 | | | |-- jscript . . ML . . .
170 | | | | |-- heading.html . . . . . .
171 | | | | |-- index.htm . . . . . .
172 | | | | |-- index.html . . . . . .
173 | | | | |-- index_exp.html . . . . . .
174 | | | | |-- index_met.html . . . . . .
175 | | | | |-- index_pbl.html . . . . . .
176 | | | | |-- main.css . . . . . .
177 | | | | |-- main.html . . . . . .
178 | | | | |-- menu-images . . . . . .
179 | | | | | |-- blueback.jpg . . . . . .
180 | | | | | |-- book-closed.gif . . . . . .
181 | | | | | |-- book-open.gif . . . . . .
182 | | | | | |-- menu_bar.gif . . . . . .
183 | | | | | |-- menu_corner.gif . . . . . .
184 | | | | | |-- menu_corner_minus.gif . . . . . .
185 | | | | | |-- menu_corner_plus.gif . . . . . .
186 | | | | | |-- menu_folder_closed.gif . . . . . .
187 | | | | | |-- menu_folder_open.gif . . . . . .
188 | | | | | |-- menu_link_bat.gif . . . . . .
189 | | | | | |-- menu_link_com.gif . . . . . .
190 | | | | | |-- menu_link_default.gif . . . . . .
191 | | | | | |-- menu_link_external.gif . . . . . .
192 | | | | | |-- menu_link_external16.gif . . . . . .
193 | | | | | |-- menu_link_external54.gif . . . . . .
194 | | | | | |-- menu_link_help.gif . . . . . .
195 | | | | | |-- menu_link_ie.gif . . . . . .
196 | | | | | |-- menu_link_ini.gif . . . . . .
197 | | | | | |-- menu_link_java.gif . . . . . .
198 | | | | | |-- menu_link_local.gif . . . . . .
199 | | | | | |-- menu_link_music.gif . . . . . .
200 | | | | | |-- menu_link_pdf.gif . . . . . .
201 | | | | | |-- menu_link_ref.gif . . . . . .
202 | | | | | |-- menu_link_txt.gif . . . . . .
203 | | | | | |-- menu_new_root.gif . . . . . .
204 | | | | | |-- menu_pixel.gif . . . . . .
205 | | | | | |-- menu_root.gif . . . . . .
206 | | | | | |-- menu_tee.gif . . . . . .
207 | | | | | |-- menu_tee_minus.gif . . . . . .
208 | | | | | `-- menu_tee_plus.gif . . . . . .
209 | | | | |-- menu_empty.html . . . . . .
210 | | | | |-- mtmcode.js . . . . . .
211 | | | | |-- mtmtrack.js . . . . . .
212 | | | | `-- right-click.js . . . . . .
213 | | | |-- templates . . ML . . .
214 | | | | |-- codefooter.html . . . . . .
215 | | | | |-- codeheader.html . . . . . .
216 | | | | |-- exp_hierarchy_jmenu.xsl . . ML . . .
217 | | | | |-- exp_node_content.xsl . . ML . . .
218 | | | | |-- exp_node_content_author.xsl . . ML . . .
219 | | | | |-- met_hierarchy_jmenu.xsl . . ML . . .
220 | | | | |-- met_node_content.xsl . . ML . . .
221 | | | | |-- met_node_content_author.xsl . . ML . . .
222 | | | | |-- pbl_hierarchy_jmenu.xsl . . ML . . .
223 | | | | |-- pbl_node_content-AG0312.xsl . . . . . .
224 | | | | |-- pbl_node_content-AG0406.xsl . . . . . .
225 | | | | |-- pbl_node_content.xsl . . ML . . .
226 | | | | `-- pbl_node_content_author.xsl . . ML . . .
227 | | |-- parser . . . . . .
228 | | | |-- FormalizationDigest.java . . . . . .
229 | | | |-- XMLExampleParser.java . . ML . . .
230 | | | |-- XMLHierarchyParser.java . . ML JL . .
231 | | | |-- XMLMethodParser.java . . . JL . .
232 | | | |-- XMLParserDigest.java . . . . . .
233 | | | `-- XMLProblemParser.java . . . JL . .
234 | | |-- tactics . . . . . .
235 | | | |-- Rewrite.java . . . . . .
236 | | | |-- RewriteInst.java . . . . . .
237 | | | |-- RewriteSet.java . . . . . .
238 | | | |-- RewriteSetInst.java . . . . . .
239 | | | |-- SimpleTactic.java . . . . . .
240 | | | |-- StringListTactic.java . . . . . .
241 | | | |-- SubProblemTactic.java . . . . . .
242 | | | |-- Tactic.java . . . . . .
243 | | | |-- TacticsContainer.java . . . . . .
244 | | | `-- Theorem.java . . . . . .
245 | | `-- users . . . . . .
246 | | |-- Accounts.java . . . . . .
247 | | |-- IUserSettings.java . . . . . .
248 | | |-- SuccessInfo.java . . . . . .
249 | | |-- User.java . . . . . .
250 | | |-- UserAdmin.java . . . . . .
251 | | |-- UserModel.java . . . . . .
252 | | `-- UserSettings.java . . . . . .
253 | `-- wsdialog . . . . . .
254 | |-- DialogIterator.java . . . . . .
255 | |-- DialogMathException.java . . . . . .
256 | |-- DialogNotImplementedException.java . . . . . .
257 | |-- DialogProtocolException.java . . . . . .
258 | |-- DialogUnknownActionException.java . . . . . .
259 | |-- IBrowserDialogToWorksheetDialog.java . . . JL . .
260 | |-- IWorksheetDialog.java . . . . . .
261 | `-- WorksheetDialog.java . . . . MK .
262 |-- java-TODOs.txt . . . . . .
263 `-- log4j.properties . . . . . .
265 51 directories, 279 files . . . . . .
267 ##############################################################
268 ##############################################################
269 ### isac/src/java-tests ######################################
270 ### isac/src/java-tests ######################################
271 ### isac/src/java-tests ######################################
272 ##############################################################
273 ##############################################################
276 |-- Testall.java . . . . . .
277 |-- bridge . . . . . .
278 | |-- MockIToUser.java . . . . . .
279 | |-- RGtestCalcTree.java . . . . . .
280 | |-- RGtestTransformXSLT.java . . . . . .
281 | |-- Testall.java . . . . . .
282 | |-- TestBridge.java . . . . . .
283 | |-- TestBridgeInput.java . . . . . .
284 | |-- TestModel.java . . . . . .
285 | `-- TestSpecify.java . . . . . .
286 |-- browserdialog . . . . . .
287 | |-- MockBrowserFrame.java . . . JL . .
288 | | Testall.java . . . JL . .
289 | `-- TestProbleBrowserDialog.java . . . JL . .
290 |-- functest . . . . . .
291 | |-- Testall.java . . . . . .
292 | |-- calcsteps . . . . . .
293 | | |-- TestAlgebraSystem.java . . . . . .
294 | | |-- Testall.java . . . . . .
295 | | `-- TestSolveStepwise.java . . . . . .
296 | |-- examples . . . . . .
297 | | |-- Testall.java . . ML . . .
298 | | |-- TestExample.java . . ML . . .
299 | | `-- TestExampleCalculation.java . . ML . . .
300 | |-- problems . . . . . .
301 | | |-- JFCTestProblemHierarchy.java . . . JL . .
302 | | |-- Testall.java . . . JL . .
303 | | |-- TestProblemHierarchy.java . . . JL . .
304 | | |-- TestRefinement.java . . . JL . .
305 | | `-- TestVisitor.java . . . JL . .
306 | |-- specify . . . . . .
307 | | |-- Testall.java . . . . MK .
308 | | |-- TestCalculation.java . . . . MK .
309 | | |-- TestHierarchy.java . . . . MK .
310 | | |-- TestModel.java . . . . MK .
311 | | `-- TestSpecify.java . . . . MK .
312 | `-- start . . . . . .
313 | |-- Testall.java . . ML . . .
314 | `-- TestStartExample.java . . ML . . .
316 | |-- GuiTests.java . . . . . LK
317 | |-- LoginListenerMock.java . . . . . LK
318 | |-- Testall.java . . . . . .
319 | |-- TestLoginScreen.java . . . . . LK
320 | |-- TestWindowApplication.java . . . . . LK
321 | |-- TestWorksheet.java . . . . . LK
322 | |-- browser . . . . . .
323 | | |-- minibrowser . . . JL . .
324 | | | |-- MockProxy.java . . . JL . .
325 | | | |-- Testall.java . . . JL . .
326 | | | |-- TestMiniBrowser.java . . . JL . .
327 | | | |-- test.java . . . JL . .
328 | | | `-- test2.java . . . JL . .
329 | | `-- panels . . . . . .
330 | | |-- Testall.java . . . . . .
331 | | |-- TestExampleBrowserPanel.java . . . . . LK
332 | | |-- TestMethodBrowserPanel.java . . . . . LK
333 | | `-- TestProblemBrowserPanel.java . . . . . LK
334 | `-- calcheadviews . . . . MK .
335 | |-- Testall.java . . . . MK .
336 | |-- TestCalcHeadView.java . . . . MK .
337 | `-- TestModelPanel . . . . MK .
338 |-- kestore . . . . . .
339 | |-- Testall.java . . . . . .
340 | `-- TestKEStoreServices.java . . . . . .
341 |-- session . . . . . .
342 | |-- Testall.java . . . . . .
343 | `-- TestSessionDialog.java . . . . . .
345 |-- Testall.java . . . . . .
346 |-- formulae . . . . . .
347 | |-- Testall.java . . . . MK .
348 | |-- TestCalcHead.java . . . . MK .
349 | |-- TestCalcHeadCompoundID.java . . . . . .
350 | |-- Model.java . . . . MK .
351 | `-- TestPosition.java . . . . . .
352 |-- genhtml . . ML . . .
353 | |-- TestStyleSheets.java . . ML . . .
354 | `-- Testall.java . . ML . . .
355 |-- interfaces . . . . . .
356 | `-- MockToUser.java . . . . . .
357 |-- parser . . . . . .
358 | |-- MockFormalizationDigest.java . . . . . .
359 | |-- RGtestXMLParserDigest.java . . . . . .
360 | |-- Testall.java . . . . . .
361 | |-- TestFormalizationDigest.java . . . . . .
362 | `-- TestXMLParserDigest.java . . . . . .
363 |-- tactics . . . . . .
364 | |-- Testall.java . . . . . .
365 | `-- TestTactic.java . . . . . .
366 `-- users . . . . . .
367 |-- Testall.java . . . . . .
368 `-- TestUser.java . . . . . .
370 55 directories, 152 files . . . . . .
372 -------------------------------------------------------------