ReportDimitarMisev: july-detailed.html

File july-detailed.html, 15.8 KB (added by dmisev, 20 months 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 July</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 July
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>https://jomdoc.omdoc.org/ticket/605</big></b></div>
83<div class=gnotime-diary-notes>
84some notation definitions not picked up
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-10-08</td>
94<td class=gnotime-start-stop-table-start>03:01:35 AM</td>
95<td class=gnotime-start-stop-table-stop>&nbsp;</td>
96<td class=gnotime-start-stop-table-stop>03:40:34 AM</td>
97<td class=gnotime-start-stop-table-elapsed>00:38:59</td>
98</tr>
99<tr>
100<td class=gnotime-start-stop-table-start>2010-10-07</td>
101<td class=gnotime-start-stop-table-start>11:29:12 PM</td>
102<td class=gnotime-start-stop-table-stop>2010-10-08</td>
103<td class=gnotime-start-stop-table-stop>12:01:11 AM</td>
104<td class=gnotime-start-stop-table-elapsed>00:31:59</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>http://jomdoc.omdoc.org/ticket/505</big></b></div>
109<div class=gnotime-diary-notes>
110Autocompletion for Notation Definitions<br>
111
112</div>
113<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
114<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
115<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
116<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
117<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
118</tr>
119<tr>
120<td class=gnotime-start-stop-table-start>2010-10-07</td>
121<td class=gnotime-start-stop-table-start>10:18:54 PM</td>
122<td class=gnotime-start-stop-table-stop>&nbsp;</td>
123<td class=gnotime-start-stop-table-stop>11:25:00 PM</td>
124<td class=gnotime-start-stop-table-elapsed>01:06:06</td>
125</tr>
126<tr>
127<td class=gnotime-start-stop-table-start>&nbsp;</td>
128<td class=gnotime-start-stop-table-start>09:35:17 AM</td>
129<td class=gnotime-start-stop-table-stop>&nbsp;</td>
130<td class=gnotime-start-stop-table-stop>01:31:24 PM</td>
131<td class=gnotime-start-stop-table-elapsed>03:56:07</td>
132</tr>
133<tr>
134<td class=gnotime-start-stop-table-start>&nbsp;</td>
135<td class=gnotime-start-stop-table-start>02:55:46 PM</td>
136<td class=gnotime-start-stop-table-stop>&nbsp;</td>
137<td class=gnotime-start-stop-table-stop>10:02:31 PM</td>
138<td class=gnotime-start-stop-table-elapsed>07:06:45</td>
139</tr>
140<tr>
141<td class=gnotime-start-stop-table-start>2010-08-04</td>
142<td class=gnotime-start-stop-table-start>05:05:54 PM</td>
143<td class=gnotime-start-stop-table-stop>&nbsp;</td>
144<td class=gnotime-start-stop-table-stop>07:28:27 PM</td>
145<td class=gnotime-start-stop-table-elapsed>02:22:33</td>
146</tr>
147<tr>
148<td class=gnotime-start-stop-table-start>&nbsp;</td>
149<td class=gnotime-start-stop-table-start>03:10:59 PM</td>
150<td class=gnotime-start-stop-table-stop>&nbsp;</td>
151<td class=gnotime-start-stop-table-stop>04:59:11 PM</td>
152<td class=gnotime-start-stop-table-elapsed>01:48:12</td>
153</tr>
154<tr>
155<td class=gnotime-start-stop-table-start>&nbsp;</td>
156<td class=gnotime-start-stop-table-start>09:17:35 AM</td>
157<td class=gnotime-start-stop-table-stop>&nbsp;</td>
158<td class=gnotime-start-stop-table-stop>10:30:12 AM</td>
159<td class=gnotime-start-stop-table-elapsed>01:12:37</td>
160</tr>
161<tr>
162<td class=gnotime-start-stop-table-start>2010-08-03</td>
163<td class=gnotime-start-stop-table-start>01:03:43 PM</td>
164<td class=gnotime-start-stop-table-stop>&nbsp;</td>
165<td class=gnotime-start-stop-table-stop>02:14:48 PM</td>
166<td class=gnotime-start-stop-table-elapsed>01:11:05</td>
167</tr>
168<tr>
169<td class=gnotime-start-stop-table-start>&nbsp;</td>
170<td class=gnotime-start-stop-table-start>07:33:05 AM</td>
171<td class=gnotime-start-stop-table-stop>&nbsp;</td>
172<td class=gnotime-start-stop-table-stop>10:48:24 AM</td>
173<td class=gnotime-start-stop-table-elapsed>03:15:19</td>
174</tr>
175<tr>
176<td class=gnotime-start-stop-table-start>&nbsp;</td>
177<td class=gnotime-start-stop-table-start>05:56:09 AM</td>
178<td class=gnotime-start-stop-table-stop>&nbsp;</td>
179<td class=gnotime-start-stop-table-stop>06:03:30 AM</td>
180<td class=gnotime-start-stop-table-elapsed>00:07:21</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>fix static bugs in code with the FindBugs tool</big></b></div>
185<div class=gnotime-diary-notes>
186
187</div>
188<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
189<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
190<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
191<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
192<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
193</tr>
194<tr>
195<td class=gnotime-start-stop-table-start>2010-08-03</td>
196<td class=gnotime-start-stop-table-start>05:44:44 AM</td>
197<td class=gnotime-start-stop-table-stop>&nbsp;</td>
198<td class=gnotime-start-stop-table-stop>07:56:08 AM</td>
199<td class=gnotime-start-stop-table-elapsed>02:11:24</td>
200</tr>
201<tr>
202<td class=gnotime-start-stop-table-start>2010-08-02</td>
203<td class=gnotime-start-stop-table-start>02:00:21 PM</td>
204<td class=gnotime-start-stop-table-stop>&nbsp;</td>
205<td class=gnotime-start-stop-table-stop>03:05:40 PM</td>
206<td class=gnotime-start-stop-table-elapsed>01:05:19</td>
207</tr>
208<tr>
209<td class=gnotime-start-stop-table-start>2010-07-31</td>
210<td class=gnotime-start-stop-table-start>01:12:44 PM</td>
211<td class=gnotime-start-stop-table-stop>&nbsp;</td>
212<td class=gnotime-start-stop-table-stop>02:09:31 PM</td>
213<td class=gnotime-start-stop-table-elapsed>00:56:47</td>
214</tr>
215</table></td></tr></table><br><br>
216<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
217<div class=gnotime-diary-memo><b><big>http://jomdoc.omdoc.org/ticket/505</big></b></div>
218<div class=gnotime-diary-notes>
219
220</div>
221<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
222<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
223<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
224<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
225<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
226</tr>
227<tr>
228<td class=gnotime-start-stop-table-start>2010-07-30</td>
229<td class=gnotime-start-stop-table-start>06:02:45 PM</td>
230<td class=gnotime-start-stop-table-stop>&nbsp;</td>
231<td class=gnotime-start-stop-table-stop>06:05:51 PM</td>
232<td class=gnotime-start-stop-table-elapsed>00:03:06</td>
233</tr>
234</table></td></tr></table><br><br>
235<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
236<div class=gnotime-diary-memo><b><big>fix rendering documents with an extension different from .omdoc</big></b></div>
237<div class=gnotime-diary-notes>
238
239</div>
240<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
241<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
242<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
243<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
244<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
245</tr>
246<tr>
247<td class=gnotime-start-stop-table-start>2010-07-30</td>
248<td class=gnotime-start-stop-table-start>05:02:47 PM</td>
249<td class=gnotime-start-stop-table-stop>&nbsp;</td>
250<td class=gnotime-start-stop-table-stop>05:32:19 PM</td>
251<td class=gnotime-start-stop-table-elapsed>00:29:32</td>
252</tr>
253</table></td></tr></table><br><br>
254<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
255<div class=gnotime-diary-memo><b><big>http://jomdoc.omdoc.org/ticket/505</big></b></div>
256<div class=gnotime-diary-notes>
257Autocompletion for Notation Definitions
258</div>
259<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
260<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
261<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
262<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
263<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
264</tr>
265<tr>
266<td class=gnotime-start-stop-table-start>2010-07-30</td>
267<td class=gnotime-start-stop-table-start>03:24:00 PM</td>
268<td class=gnotime-start-stop-table-stop>&nbsp;</td>
269<td class=gnotime-start-stop-table-stop>04:08:40 PM</td>
270<td class=gnotime-start-stop-table-elapsed>00:44:40</td>
271</tr>
272<tr>
273<td class=gnotime-start-stop-table-start>&nbsp;</td>
274<td class=gnotime-start-stop-table-start>09:57:53 AM</td>
275<td class=gnotime-start-stop-table-stop>&nbsp;</td>
276<td class=gnotime-start-stop-table-stop>11:47:17 AM</td>
277<td class=gnotime-start-stop-table-elapsed>01:49:24</td>
278</tr>
279<tr>
280<td class=gnotime-start-stop-table-start>2010-07-28</td>
281<td class=gnotime-start-stop-table-start>10:11:33 PM</td>
282<td class=gnotime-start-stop-table-stop>2010-07-29</td>
283<td class=gnotime-start-stop-table-stop>12:01:55 AM</td>
284<td class=gnotime-start-stop-table-elapsed>01:50:22</td>
285</tr>
286<tr>
287<td class=gnotime-start-stop-table-start>2010-07-28</td>
288<td class=gnotime-start-stop-table-start>09:14:59 PM</td>
289<td class=gnotime-start-stop-table-stop>&nbsp;</td>
290<td class=gnotime-start-stop-table-stop>09:55:30 PM</td>
291<td class=gnotime-start-stop-table-elapsed>00:40:31</td>
292</tr>
293<tr>
294<td class=gnotime-start-stop-table-start>&nbsp;</td>
295<td class=gnotime-start-stop-table-start>01:06:02 PM</td>
296<td class=gnotime-start-stop-table-stop>&nbsp;</td>
297<td class=gnotime-start-stop-table-stop>01:45:42 PM</td>
298<td class=gnotime-start-stop-table-elapsed>00:39:40</td>
299</tr>
300<tr>
301<td class=gnotime-start-stop-table-start>&nbsp;</td>
302<td class=gnotime-start-stop-table-start>11:10:36 AM</td>
303<td class=gnotime-start-stop-table-stop>&nbsp;</td>
304<td class=gnotime-start-stop-table-stop>12:31:25 PM</td>
305<td class=gnotime-start-stop-table-elapsed>01:20:49</td>
306</tr>
307</table></td></tr></table><br><br>
308<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
309<div class=gnotime-diary-memo><b><big>multithreading test on NotationDocument</big></b></div>
310<div class=gnotime-diary-notes>
311
312</div>
313<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
314<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
315<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
316<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
317<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
318</tr>
319<tr>
320<td class=gnotime-start-stop-table-start>2010-07-28</td>
321<td class=gnotime-start-stop-table-start>08:50:50 AM</td>
322<td class=gnotime-start-stop-table-stop>&nbsp;</td>
323<td class=gnotime-start-stop-table-stop>10:39:46 AM</td>
324<td class=gnotime-start-stop-table-elapsed>01:48:56</td>
325</tr>
326</table></td></tr></table><br><br>
327<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
328<div class=gnotime-diary-memo><b><big>refactor strict-pragmatic transformers</big></b></div>
329<div class=gnotime-diary-notes>
330
331</div>
332<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
333<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
334<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
335<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
336<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
337</tr>
338<tr>
339<td class=gnotime-start-stop-table-start>2010-07-28</td>
340<td class=gnotime-start-stop-table-start>08:46:21 AM</td>
341<td class=gnotime-start-stop-table-stop>&nbsp;</td>
342<td class=gnotime-start-stop-table-stop>08:50:48 AM</td>
343<td class=gnotime-start-stop-table-elapsed>00:04:27</td>
344</tr>
345<tr>
346<td class=gnotime-start-stop-table-start>2010-07-27</td>
347<td class=gnotime-start-stop-table-start>09:40:10 PM</td>
348<td class=gnotime-start-stop-table-stop>&nbsp;</td>
349<td class=gnotime-start-stop-table-stop>10:12:33 PM</td>
350<td class=gnotime-start-stop-table-elapsed>00:32:23</td>
351</tr>
352<tr>
353<td class=gnotime-start-stop-table-start>&nbsp;</td>
354<td class=gnotime-start-stop-table-start>05:00:32 PM</td>
355<td class=gnotime-start-stop-table-stop>&nbsp;</td>
356<td class=gnotime-start-stop-table-stop>06:06:08 PM</td>
357<td class=gnotime-start-stop-table-elapsed>01:05:36</td>
358</tr>
359</table></td></tr></table><br><br>
360<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
361<div class=gnotime-diary-memo><b><big>remove old ImportsAware</big></b></div>
362<div class=gnotime-diary-notes>
363
364</div>
365<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
366<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
367<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
368<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
369<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
370</tr>
371<tr>
372<td class=gnotime-start-stop-table-start>2010-07-27</td>
373<td class=gnotime-start-stop-table-start>04:50:55 PM</td>
374<td class=gnotime-start-stop-table-stop>&nbsp;</td>
375<td class=gnotime-start-stop-table-stop>05:00:03 PM</td>
376<td class=gnotime-start-stop-table-elapsed>00:09:08</td>
377</tr>
378</table></td></tr></table><br><br>
379<table class=gnotime-diary-entry bgcolor=#e0e0e0 width=100% border=0 cellpadding=4><tr><td>
380<div class=gnotime-diary-memo><b><big>Performance tuning</big></b></div>
381<div class=gnotime-diary-notes>
382
383</div>
384<table class=gnotime-start-stop-table bgcolor=#f8f8f0 width=100% border=0 cellpadding=4>
385<tr class=gnotime-start-stop-table-header bgcolor=#ebebeb>
386<th class=gnotime-start-stop-table-header-start colspan=2><b>Start</b></th>
387<th class=gnotime-start-stop-table-header-stop colspan=2><b>Stop</b></th>
388<th class=gnotime-start-stop-table-header-elapsed><b>Elapsed</b></th>
389</tr>
390<tr>
391<td class=gnotime-start-stop-table-start>2010-07-26</td>
392<td class=gnotime-start-stop-table-start>11:00:58 PM</td>
393<td class=gnotime-start-stop-table-stop>2010-07-27</td>
394<td class=gnotime-start-stop-table-stop>12:44:59 AM</td>
395<td class=gnotime-start-stop-table-elapsed>01:44:01</td>
396</tr>
397</table></td></tr></table><br><br>
398
399
400<div align=right>
401Brought to you by ...  <br>
402<a href="http://gttr.sourceforge.net/">
403<img src="gnotime-logo.png" border="0" width="155" height="28">
404</a>
405</div>
406</div>
407</body>
408</html>