admin/todo-list.txt
author Walther Neuper <walther.neuper@jku.at>
Fri, 26 Mar 2021 10:45:05 +0100
changeset 5239 b4e3883d7b66
parent 4688 31852e2a0f69
permissions -rw-r--r--
reset mathematics-engine to Isabelle2015

note: for this version libisabelle was available,
which connects front-end (Java) and back-end (Isabelle/ML)
wneuper@2344
     1
todo-list of tasks not covered by TO*DOs in the code or docu
wneuper@2341
     2
============================================================================
wneuper@2344
     3
NNyymmdd headline of template
wneuper@2341
     4
----------------------------------------------------------------------------
wneuper@2344
     5
explanation ...
wneuper@2341
     6
wneuper@2341
     7
wneuper@2933
     8
before going public with a download-version of the front-end
wneuper@2933
     9
============================================================================
wneuper@3018
    10
contents
wneuper@4688
    11
	SML
wneuper@4688
    12
	Java-Worksheet
wneuper@4688
    13
	Java-Browser
wneuper@4688
    14
	Java-Session
wneuper@4688
    15
	Java installation
wneuper@4688
    16
	Math knowledge
wneuper@3650
    17
############################################################################
wneuper@3650
    18
wneuper@3706
    19
SK: RationalI to complete
wneuper@3706
    20
    search rational.sml for error-examples
wneuper@3706
    21
    why does cancel_p_ NOT terminate ???
wneuper@3706
    22
wneuper@3018
    23
============================================================================
wneuper@2933
    24
SML
wneuper@2933
    25
----------------------------------------------------------------------------
wneuper@3650
    26
----------------------------------------------------------------------------
wneuper@3650
    27
----------------------------------------------------------------------------
wneuper@3706
    28
WN060923 CAS-cmd 'Simplify'
wneuper@3650
    29
----------------------------------------------------------------------------
wneuper@3650
    30
----------------------------------------------------------------------------
wneuper@3706
    31
WN060923 context_thy appends + cuts correctly 834 060725
wneuper@3650
    32
----------------------------------------------------------------------------
wneuper@3706
    33
WN060923 design ??? 840 060725
wneuper@3650
    34
----------------------------------------------------------------------------
wneuper@3650
    35
----------------------------------------------------------------------------
wneuper@3706
    36
WN060923 Biegelinie with better subpbls
wneuper@3650
    37
----------------------------------------------------------------------------
wneuper@3706
    38
WN060923 explanations for Biegelinie (DI Christian D"urnsteiner)
wneuper@3650
    39
----------------------------------------------------------------------------
wneuper@3650
    40
----------------------------------------------------------------------------
wneuper@3706
    41
WN060923 rewrite returns lrd ->
wneuper@3650
    42
----------------------------------------------------------------------------
wneuper@3706
    43
WN060923 context_thm with 'rewrite at'
wneuper@3650
    44
----------------------------------------------------------------------------
wneuper@3706
    45
WN060923 rewrite at lrd ->
wneuper@3650
    46
----------------------------------------------------------------------------
wneuper@3706
    47
WN060923 reverse rewrite for 'cancel_p', 'common_nominator_p' 843, 844
wneuper@3650
    48
----------------------------------------------------------------------------
wneuper@3650
    49
----------------------------------------------------------------------------
wneuper@3706
    50
WN060923 remove coursedesign from thehier (up to authoring in XML !)
wneuper@3650
    51
----------------------------------------------------------------------------
wneuper@3650
    52
----------------------------------------------------------------------------
wneuper@3650
    53
----------------------------------------------------------------------------
wneuper@3650
    54
----------------------------------------------------------------------------
wneuper@3706
    55
WN060923 CalcHead switch model / guard: getFormula ([], Met)
wneuper@3650
    56
----------------------------------------------------------------------------
wneuper@3706
    57
WN060923 show on gui amount of CalcTrees in SML
wneuper@3650
    58
----------------------------------------------------------------------------
wneuper@3706
    59
WN060923 do 1 step if no init_form in method
wneuper@2933
    60
----------------------------------------------------------------------------
wneuper@3706
    61
WN060923 replaceFormula for 1st headline 'solve(x+1=2,x)' instead checkCH
wneuper@2933
    62
----------------------------------------------------------------------------
wneuper@2933
    63
----------------------------------------------------------------------------
wneuper@2933
    64
----------------------------------------------------------------------------
wneuper@3706
    65
WN060924 repair the kbase hierarchies for standardbrowser
wneuper@2933
    66
----------------------------------------------------------------------------
wneuper@2933
    67
----------------------------------------------------------------------------
wneuper@3650
    68
############################################################################
wneuper@3650
    69
wneuper@2933
    70
============================================================================
wneuper@2933
    71
Java-Worksheet
wneuper@2933
    72
----------------------------------------------------------------------------
wneuper@2933
    73
WN050812 context menu on the worksheet for all entries
wneuper@2933
    74
----------------------------------------------------------------------------
wneuper@2933
    75
WN050812 replaceFormula deletes _existing_ nodes (not with CalcIterator)
wneuper@2933
    76
----------------------------------------------------------------------------
wneuper@3018
    77
WN050812 close WS --> remove CalcTree in MathEngine, 
wneuper@3018
    78
		      remove Buttons on WindowApplication
wneuper@2933
    79
----------------------------------------------------------------------------
wneuper@2933
    80
----------------------------------------------------------------------------
wneuper@2933
    81
----------------------------------------------------------------------------
wneuper@2933
    82
----------------------------------------------------------------------------
wneuper@2933
    83
----------------------------------------------------------------------------
wneuper@3650
    84
############################################################################
wneuper@3650
    85
wneuper@2933
    86
============================================================================
wneuper@2933
    87
Java-Browser
wneuper@2933
    88
----------------------------------------------------------------------------
wneuper@2933
    89
----------------------------------------------------------------------------
wneuper@2933
    90
----------------------------------------------------------------------------
wneuper@2933
    91
----------------------------------------------------------------------------
wneuper@2933
    92
----------------------------------------------------------------------------
wneuper@2933
    93
----------------------------------------------------------------------------
wneuper@2933
    94
----------------------------------------------------------------------------
wneuper@2933
    95
----------------------------------------------------------------------------
wneuper@2933
    96
----------------------------------------------------------------------------
wneuper@3650
    97
############################################################################
wneuper@3650
    98
wneuper@2933
    99
============================================================================
wneuper@2933
   100
Java-Session
wneuper@2933
   101
----------------------------------------------------------------------------
wneuper@2933
   102
WN050812 push login before WindowApplication, BrowserDialog needs user
wneuper@2933
   103
----------------------------------------------------------------------------
wneuper@2933
   104
WN050812 logs for logins
wneuper@2933
   105
----------------------------------------------------------------------------
wneuper@2933
   106
WN050812 logs of UserActions
wneuper@2933
   107
----------------------------------------------------------------------------
wneuper@2933
   108
WN050812 close Session --> remove CalcTrees in MathEngine
wneuper@2933
   109
----------------------------------------------------------------------------
wneuper@2933
   110
WN050812 show on gui amount of CalcTrees in SML
wneuper@2933
   111
----------------------------------------------------------------------------
wneuper@2933
   112
----------------------------------------------------------------------------
wneuper@2933
   113
----------------------------------------------------------------------------
wneuper@2933
   114
----------------------------------------------------------------------------
wneuper@2933
   115
----------------------------------------------------------------------------
wneuper@2933
   116
----------------------------------------------------------------------------
wneuper@2933
   117
----------------------------------------------------------------------------
wneuper@3650
   118
############################################################################
wneuper@3650
   119
wneuper@2933
   120
============================================================================
wneuper@2933
   121
Java installation
wneuper@2933
   122
----------------------------------------------------------------------------
wneuper@2933
   123
WN050812 separate gui-code, rmi-addresses as params in main()s
wneuper@2933
   124
----------------------------------------------------------------------------
wneuper@2933
   125
WN050812 implement installer for gui-code
wneuper@2933
   126
----------------------------------------------------------------------------
wneuper@2933
   127
WN050812 test installer and rmi a HTL
wneuper@2933
   128
----------------------------------------------------------------------------
wneuper@2933
   129
----------------------------------------------------------------------------
wneuper@2933
   130
----------------------------------------------------------------------------
wneuper@2933
   131
----------------------------------------------------------------------------
wneuper@2933
   132
----------------------------------------------------------------------------
wneuper@2933
   133
----------------------------------------------------------------------------
wneuper@3650
   134
############################################################################
wneuper@3650
   135
wneuper@2933
   136
============================================================================
wneuper@2933
   137
Math knowledge
wneuper@2933
   138
----------------------------------------------------------------------------
wneuper@2933
   139
WN050812 Examples/IsacCore/Simplification
wneuper@2933
   140
	 respective problem and method
wneuper@2933
   141
----------------------------------------------------------------------------
wneuper@2933
   142
WN050812 Examples/IsacCore/Equations
wneuper@2933
   143
----------------------------------------------------------------------------
wneuper@2933
   144
WN050812 Examples/Statics
wneuper@2933
   145
	 respective problems and methods
wneuper@2933
   146
----------------------------------------------------------------------------
wneuper@2933
   147
WN050812 Examples/AboutMath/WhyMath
wneuper@2933
   148
	 respective problems and methods
wneuper@2933
   149
----------------------------------------------------------------------------
wneuper@2933
   150
----------------------------------------------------------------------------
wneuper@2933
   151
----------------------------------------------------------------------------
wneuper@2933
   152
----------------------------------------------------------------------------
wneuper@2933
   153
----------------------------------------------------------------------------
wneuper@2933
   154
----------------------------------------------------------------------------
wneuper@2933
   155
----------------------------------------------------------------------------
wneuper@2933
   156
============================================================================
wneuper@2933
   157
----------------------------------------------------------------------------
wneuper@2933
   158
wneuper@2933
   159
wneuper@2933
   160
wneuper@2933
   161
wneuper@3650
   162
############################################################################
wneuper@3650
   163
############################################################################
wneuper@2933
   164
wneuper@2341
   165
============================================================================
wneuper@2344
   166
WN050527 amendments of the isac-docu.tex
wneuper@2341
   167
----------------------------------------------------------------------------
wneuper@2344
   168
+ update user requirements of the learner due to AK04:thesis (WN!)
wneuper@2344
   169
+ make figures ready for pdflates
wneuper@2344
   170
+ WorkSheet --query-replace--> Worksheet
wneuper@2344
   171
+ remove dangling \ref's by lookup of the respective parts of the theses
wneuper@2344
   172
+ mark all parts copied from the theses like AK04:thesis
wneuper@2341
   173
wneuper@2341
   174
============================================================================
wneuper@2344
   175
WN050527 general amendments of the java-code
wneuper@2341
   176
----------------------------------------------------------------------------
wneuper@2933
   177
+ remove specified deprecated code
wneuper@2344
   178
+ rename proto2/isac/src/xml/isac.dtd --> proto2/isac/src/xml/math-eng.dtd
wneuper@2344
   179
wneuper@2344
   180
============================================================================
wneuper@2344
   181
LK05 final hand-over
wneuper@2344
   182
----------------------------------------------------------------------------
wneuper@2344
   183
+ rechte Maustaste --> Tactics, Assumptions,...
wneuper@2344
   184
+ delete WS-nodes due to replaceFormula
wneuper@2344
   185
+ JUnittests sollen laufen
wneuper@2344
   186
wneuper@2344
   187
+ instance_variable_ wenn nicht benutzt: in Kommentar + umbenennen
wneuper@2344
   188
wneuper@2344
   189
============================================================================
wneuper@2344
   190
WN0505: LK + AK team-day
wneuper@2344
   191
----------------------------------------------------------------------------
wneuper@2344
   192
+ move CalcMatters from Worksheet to DialogGuide (if any still?!)
wneuper@2344
   193
+ make notifyUserAction the only communication !
wneuper@2344
   194
wneuper@2344
   195
wneuper@2344
   196
============================================================================
wneuper@2344
   197
WN0505 Worksheet
wneuper@2344
   198
----------------------------------------------------------------------------
wneuper@2344
   199
+ icons in isac/etc/icons
wneuper@2344
   200
+ icon zeigt an, dass 
wneuper@2344
   201
  - eingeg. Formel noch nicht gecheckt ist
wneuper@2344
   202
  - nachfolgende Formeln vom Loeschen bedroht (wenn CalcHeadPanel offen)
wneuper@2344
   203
  - input-Feld "fast unsichtbar"
wneuper@2344
   204
  - eine Headline eines CalcHeads vorliegt
wneuper@2344
   205
+ Iterator ueber TreeMap (nicht CalcTree im SML)
wneuper@2344
   206
+ Formel speichern statt Iterator: CalcModelNode#insert
wneuper@2344
   207
+ getElementsFromTo an Iterator haengen, und verwenden !
wneuper@2344
   208
wneuper@2344
   209
============================================================================
wneuper@2344
   210
AK for team-day
wneuper@2344
   211
----------------------------------------------------------------------------
wneuper@2344
   212
+ WN041210 IUIElement: identical ints for different UIs
wneuper@2344
   213
+ NEUE Designanforderung: Mit CalcChanged koennen Meldungen kommen
wneuper@2344
   214
  zB "This is the crucial point in the method; lookup the method !"
wneuper@2344
   215
  ??? Ideen dazu ?
wneuper@2341
   216
wneuper@2341
   217
============================================================================
wneuper@2374
   218
AK homework due to meeting protocols/050531-LK-WN.txt
wneuper@2374
   219
----------------------------------------------------------------------------
wneuper@2374
   220
ad(3) Code (missing in protocol ?!)
wneuper@2374
   221
+ java-tests/isac/gui/Testall  JFCTestCase !
wneuper@2374
   222
wneuper@2374
   223
wneuper@2374
   224
============================================================================
wneuper@2341
   225
----------------------------------------------------------------------------
wneuper@2341
   226
wneuper@2341
   227
============================================================================
wneuper@2344
   228
WN041210 Bridge to MathEngine 
wneuper@2341
   229
----------------------------------------------------------------------------
wneuper@2344
   230
+ checks sml-version
wneuper@2344
   231
+ remove XMLParserDigest errors (using JUnit tests already impl.)
wneuper@2344
   232
wneuper@2344
   233
============================================================================
wneuper@2344
   234
rename proto2/isac/src/java-tests --> proto2/isac/src/javatest
wneuper@2344
   235
----------------------------------------------------------------------------
wneuper@2344
   236
(requires cvs-hack because javatest has been removed already in the past)
wneuper@2341
   237
wneuper@2341
   238
============================================================================
wneuper@2341
   239
----------------------------------------------------------------------------
wneuper@2341
   240
============================================================================
wneuper@2341
   241
----------------------------------------------------------------------------
wneuper@2341
   242
============================================================================
wneuper@2344
   243
----------------------------------------------------------------------------
wneuper@2341
   244
============================================================================
wneuper@2341
   245
----------------------------------------------------------------------------
wneuper@2341
   246
============================================================================
wneuper@2344
   247
----------------------------------------------------------------------------
wneuper@2341
   248
============================================================================
wneuper@2341
   249
----------------------------------------------------------------------------
wneuper@2341
   250
wneuper@2341
   251
wneuper@2341
   252
##### DONE/date ############################################################
wneuper@2933
   253
0507 MK ML JL at beginning of their work (excl. LK)
wneuper@2933
   254
----------------------------------------------------------------------------
wneuper@2933
   255
+ make instance_variables_ according to isac-java-coding-standards
wneuper@2933
   256
+ save all files after applying the ecipse code-formatter
wneuper@2933
   257
============================================================================