ReportDimitarMisev: march-detailed.html

File march-detailed.html, 18.1 KB (added by dmisev, 2 years ago)
Line 
1<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2<html>
3<head>
4<meta http-equiv="content-type" content="text/html; charset=UTF-8">
5<title>Journal - JOMDoc March</title>
6<!--
7  -  FILE: gtt-style.css
8  -  Please note this is not a true stand-alone style-sheet.
9  -  This file is meant to be inlined with the web pages!
10  -->
11<style type="text/css">
12        body
13        {
14        background: #c8c8d3;
15        font-color: #000000;
16        }
17        .gnotime-diary-entry,
18        .gnotime-project-status
19        {
20        background: #e0e0e0;
21        display: block;
22        width: 98%;
23        margin: 4px 2px 4px 8px;
24        border: solid 2px #000000;
25        margin: 4px 2px 4px 8px;
26        }
27        .gnotime-diary-memo
28        {
29        font-size: 120%;
30        font-weight: bold;
31        font-stretch: wider;
32        margin: 4px 2px 1px 6px;
33        }
34        .gnotime-diary-notes,
35        .gnotime-project-status-notes
36        {
37        background: #f8f8f0;
38        width: 100%;
39        border: 0px;
40        margin: 4px 2px 1px 6px;
41        }
42        .gnotime-start-stop-table,
43        .gnotime-todo-table,
44        .gnotime-daily-table
45        {
46        background: #f8f8f0;
47        margin: 4px 4px 4px 4px;
48        border: solid 1px #9999a9
49        }
50        .gnotime-start-stop-table-header,
51        .gnotime-todo-table-header,
52        .gnotime-daily-table-header
53        {
54        background: #e8e8e8;
55        font-size: 105%;
56        font-weight: bold;
57        }
58        .gnotime-project-status-overview,
59        .gnotime-daily-overview
60        {
61        background: #e8e8e8;
62        display: block;
63        font-size: 105%;
64        font-weight: bold;
65        }
66</style>
67
68</head>
69<body bgcolor="#c8c8d3">
70<div id="gnotime-body">
71<h1>Journal for
72JOMDoc March
73-
74
75</h1>
76
77<br><br>
78
79
80
81<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
82<div class=gnotime-diary-memo><b><big>Performance tunning</big></b></div>
83<div class=gnotime-diary-notes>
84
85</div>
86<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
87<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
88<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
89<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
90<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
91</tr>
92<tr>
93<td class=gnotime-start-stop-table-start>2010-03-27</td>
94<td class=gnotime-start-stop-table-start>12:23:59 AM</td>
95<td class=gnotime-start-stop-table-stop>&nbsp;</td>
96<td class=gnotime-start-stop-table-stop>02:03:46 AM</td>
97<td class=gnotime-start-stop-table-elapsed>01:39:47</td>
98</tr>
99<tr>
100<td class=gnotime-start-stop-table-start>2010-03-26</td>
101<td class=gnotime-start-stop-table-start>02:47:52 PM</td>
102<td class=gnotime-start-stop-table-stop>2010-03-27</td>
103<td class=gnotime-start-stop-table-stop>12:09:59 AM</td>
104<td class=gnotime-start-stop-table-elapsed>09:22:07</td>
105</tr>
106</table></td></tr></table><br><br>
107<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
108<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/57</big></b></div>
109<div class=gnotime-diary-notes>
110Auto cache management + performance tunning
111</div>
112<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
113<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
114<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
115<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
116<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
117</tr>
118<tr>
119<td class=gnotime-start-stop-table-start>2010-03-26</td>
120<td class=gnotime-start-stop-table-start>10:47:11 AM</td>
121<td class=gnotime-start-stop-table-stop>&nbsp;</td>
122<td class=gnotime-start-stop-table-stop>02:47:39 PM</td>
123<td class=gnotime-start-stop-table-elapsed>04:00:28</td>
124</tr>
125</table></td></tr></table><br><br>
126<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
127<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/462</big></b></div>
128<div class=gnotime-diary-notes>
129Check consistency of JavaDoc with method signatures
130</div>
131<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
132<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
133<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
134<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
135<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
136</tr>
137<tr>
138<td class=gnotime-start-stop-table-start>2010-03-26</td>
139<td class=gnotime-start-stop-table-start>12:59:17 AM</td>
140<td class=gnotime-start-stop-table-stop>&nbsp;</td>
141<td class=gnotime-start-stop-table-stop>03:12:48 AM</td>
142<td class=gnotime-start-stop-table-elapsed>02:13:31</td>
143</tr>
144</table></td></tr></table><br><br>
145<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
146<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/608</big></b></div>
147<div class=gnotime-diary-notes>
148JOMDoc documentation
149</div>
150<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
151<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
152<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
153<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
154<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
155</tr>
156<tr>
157<td class=gnotime-start-stop-table-start>2010-03-25</td>
158<td class=gnotime-start-stop-table-start>08:52:48 PM</td>
159<td class=gnotime-start-stop-table-stop>2010-03-26</td>
160<td class=gnotime-start-stop-table-stop>12:59:17 AM</td>
161<td class=gnotime-start-stop-table-elapsed>04:06:29</td>
162</tr>
163</table></td></tr></table><br><br>
164<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
165<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/640</big></b></div>
166<div class=gnotime-diary-notes>
167Include cdbase in OpenMath output
168</div>
169<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
170<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
171<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
172<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
173<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
174</tr>
175<tr>
176<td class=gnotime-start-stop-table-start>2010-03-25</td>
177<td class=gnotime-start-stop-table-start>03:38:50 PM</td>
178<td class=gnotime-start-stop-table-stop>&nbsp;</td>
179<td class=gnotime-start-stop-table-stop>08:48:02 PM</td>
180<td class=gnotime-start-stop-table-elapsed>05:09:12</td>
181</tr>
182</table></td></tr></table><br><br>
183<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
184<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/608</big></b></div>
185<div class=gnotime-diary-notes>
186JOMDoc documentation<br>
187<br>
188Including ticket https://jomdoc.omdoc.org/ticket/641 here.
189</div>
190<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
191<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
192<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
193<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
194<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
195</tr>
196<tr>
197<td class=gnotime-start-stop-table-start>2010-03-25</td>
198<td class=gnotime-start-stop-table-start>01:25:30 PM</td>
199<td class=gnotime-start-stop-table-stop>&nbsp;</td>
200<td class=gnotime-start-stop-table-stop>03:38:50 PM</td>
201<td class=gnotime-start-stop-table-elapsed>02:13:20</td>
202</tr>
203</table></td></tr></table><br><br>
204<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
205<div class=gnotime-diary-memo><b><big>https://trac.omdoc.org/jomdoc/ticket/638</big></b></div>
206<div class=gnotime-diary-notes>
207Refactor imports validation
208</div>
209<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
210<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
211<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
212<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
213<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
214</tr>
215<tr>
216<td class=gnotime-start-stop-table-start>2010-03-25</td>
217<td class=gnotime-start-stop-table-start>01:19:07 PM</td>
218<td class=gnotime-start-stop-table-stop>&nbsp;</td>
219<td class=gnotime-start-stop-table-stop>01:25:30 PM</td>
220<td class=gnotime-start-stop-table-elapsed>00:06:23</td>
221</tr>
222<tr>
223<td class=gnotime-start-stop-table-start>2010-03-22</td>
224<td class=gnotime-start-stop-table-start>08:08:58 PM</td>
225<td class=gnotime-start-stop-table-stop>&nbsp;</td>
226<td class=gnotime-start-stop-table-stop>10:25:46 PM</td>
227<td class=gnotime-start-stop-table-elapsed>02:16:48</td>
228</tr>
229<tr>
230<td class=gnotime-start-stop-table-start>&nbsp;</td>
231<td class=gnotime-start-stop-table-start>02:09:14 PM</td>
232<td class=gnotime-start-stop-table-stop>&nbsp;</td>
233<td class=gnotime-start-stop-table-stop>03:14:03 PM</td>
234<td class=gnotime-start-stop-table-elapsed>01:04:49</td>
235</tr>
236</table></td></tr></table><br><br>
237<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
238<div class=gnotime-diary-memo><b><big>https://trac.omdoc.org/jomdoc/ticket/636</big></b></div>
239<div class=gnotime-diary-notes>
240Check for redundant imports from which no symbols are used
241</div>
242<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
243<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
244<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
245<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
246<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
247</tr>
248<tr>
249<td class=gnotime-start-stop-table-start>2010-03-22</td>
250<td class=gnotime-start-stop-table-start>01:00:50 PM</td>
251<td class=gnotime-start-stop-table-stop>&nbsp;</td>
252<td class=gnotime-start-stop-table-stop>02:09:14 PM</td>
253<td class=gnotime-start-stop-table-elapsed>01:08:24</td>
254</tr>
255</table></td></tr></table><br><br>
256<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
257<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/252</big></b></div>
258<div class=gnotime-diary-notes>
259OMDoc Validation
260</div>
261<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
262<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
263<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
264<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
265<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
266</tr>
267<tr>
268<td class=gnotime-start-stop-table-start>2010-03-20</td>
269<td class=gnotime-start-stop-table-start>11:06:45 PM</td>
270<td class=gnotime-start-stop-table-stop>&nbsp;</td>
271<td class=gnotime-start-stop-table-stop>11:44:47 PM</td>
272<td class=gnotime-start-stop-table-elapsed>00:38:02</td>
273</tr>
274<tr>
275<td class=gnotime-start-stop-table-start>&nbsp;</td>
276<td class=gnotime-start-stop-table-start>10:32:16 PM</td>
277<td class=gnotime-start-stop-table-stop>&nbsp;</td>
278<td class=gnotime-start-stop-table-stop>10:58:57 PM</td>
279<td class=gnotime-start-stop-table-elapsed>00:26:41</td>
280</tr>
281</table></td></tr></table><br><br>
282<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
283<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/510</big></b></div>
284<div class=gnotime-diary-notes>
285jomdoc validate --imports has problems with bare name references and issues false redundancy warnings
286</div>
287<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
288<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
289<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
290<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
291<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
292</tr>
293<tr>
294<td class=gnotime-start-stop-table-start>2010-03-20</td>
295<td class=gnotime-start-stop-table-start>10:02:28 PM</td>
296<td class=gnotime-start-stop-table-stop>&nbsp;</td>
297<td class=gnotime-start-stop-table-stop>10:32:15 PM</td>
298<td class=gnotime-start-stop-table-elapsed>00:29:47</td>
299</tr>
300</table></td></tr></table><br><br>
301<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
302<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/528</big></b></div>
303<div class=gnotime-diary-notes>
304Get rid of "russian" binomial coefficient example
305</div>
306<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
307<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
308<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
309<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
310<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
311</tr>
312<tr>
313<td class=gnotime-start-stop-table-start>2010-03-20</td>
314<td class=gnotime-start-stop-table-start>08:49:50 PM</td>
315<td class=gnotime-start-stop-table-stop>&nbsp;</td>
316<td class=gnotime-start-stop-table-stop>10:02:13 PM</td>
317<td class=gnotime-start-stop-table-elapsed>01:12:23</td>
318</tr>
319</table></td></tr></table><br><br>
320<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
321<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/580</big></b></div>
322<div class=gnotime-diary-notes>
323"Parallel" markup also generated when rendering PMML inside OMDoc
324</div>
325<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
326<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
327<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
328<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
329<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
330</tr>
331<tr>
332<td class=gnotime-start-stop-table-start>2010-03-20</td>
333<td class=gnotime-start-stop-table-start>07:51:27 PM</td>
334<td class=gnotime-start-stop-table-stop>&nbsp;</td>
335<td class=gnotime-start-stop-table-stop>08:47:27 PM</td>
336<td class=gnotime-start-stop-table-elapsed>00:56:00</td>
337</tr>
338</table></td></tr></table><br><br>
339<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
340<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/586</big></b></div>
341<div class=gnotime-diary-notes>
342Allow RDFa generation to be turned off
343</div>
344<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
345<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
346<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
347<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
348<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
349</tr>
350<tr>
351<td class=gnotime-start-stop-table-start>2010-03-20</td>
352<td class=gnotime-start-stop-table-start>07:36:36 PM</td>
353<td class=gnotime-start-stop-table-stop>&nbsp;</td>
354<td class=gnotime-start-stop-table-stop>07:51:04 PM</td>
355<td class=gnotime-start-stop-table-elapsed>00:14:28</td>
356</tr>
357<tr>
358<td class=gnotime-start-stop-table-start>&nbsp;</td>
359<td class=gnotime-start-stop-table-start>05:37:54 PM</td>
360<td class=gnotime-start-stop-table-stop>&nbsp;</td>
361<td class=gnotime-start-stop-table-stop>05:54:53 PM</td>
362<td class=gnotime-start-stop-table-elapsed>00:16:59</td>
363</tr>
364</table></td></tr></table><br><br>
365<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
366<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/613</big></b></div>
367<div class=gnotime-diary-notes>
368notation collection in nested theories
369</div>
370<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
371<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
372<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
373<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
374<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
375</tr>
376<tr>
377<td class=gnotime-start-stop-table-start>2010-03-20</td>
378<td class=gnotime-start-stop-table-start>04:45:54 PM</td>
379<td class=gnotime-start-stop-table-stop>&nbsp;</td>
380<td class=gnotime-start-stop-table-stop>05:37:32 PM</td>
381<td class=gnotime-start-stop-table-elapsed>00:51:38</td>
382</tr>
383</table></td></tr></table><br><br>
384<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
385<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/627</big></b></div>
386<div class=gnotime-diary-notes>
387Revising NtnUtil
388</div>
389<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
390<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
391<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
392<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
393<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
394</tr>
395<tr>
396<td class=gnotime-start-stop-table-start>2010-03-20</td>
397<td class=gnotime-start-stop-table-start>03:29:21 PM</td>
398<td class=gnotime-start-stop-table-stop>&nbsp;</td>
399<td class=gnotime-start-stop-table-stop>04:45:35 PM</td>
400<td class=gnotime-start-stop-table-elapsed>01:16:14</td>
401</tr>
402</table></td></tr></table><br><br>
403<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
404<div class=gnotime-diary-memo><b><big>https://jomdoc.omdoc.org/ticket/634</big></b></div>
405<div class=gnotime-diary-notes>
406Get rid of static field whenever needed
407</div>
408<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
409<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
410<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
411<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
412<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
413</tr>
414<tr>
415<td class=gnotime-start-stop-table-start>2010-03-20</td>
416<td class=gnotime-start-stop-table-start>02:43:08 PM</td>
417<td class=gnotime-start-stop-table-stop>&nbsp;</td>
418<td class=gnotime-start-stop-table-stop>03:29:00 PM</td>
419<td class=gnotime-start-stop-table-elapsed>00:45:52</td>
420</tr>
421</table></td></tr></table><br><br>
422
423
424<div align=right>
425Brought to you by ...  <br>
426<a href="http://gttr.sourceforge.net/">
427<img src="gnotime-logo.png" border="0" width="155" height="28">
428</a>
429</div>
430</div>
431</body>
432</html>