|
https://jomdoc.omdoc.org/ticket/605
some notation definitions not picked up
| 2010-10-08 |
03:01:35 AM |
|
03:40:34 AM |
00:38:59 |
| 2010-10-07 |
11:29:12 PM |
2010-10-08 |
12:01:11 AM |
00:31:59 |
|
|
http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
| 2010-10-07 |
10:18:54 PM |
|
11:25:00 PM |
01:06:06 |
| |
09:35:17 AM |
|
01:31:24 PM |
03:56:07 |
| |
02:55:46 PM |
|
10:02:31 PM |
07:06:45 |
| 2010-08-04 |
05:05:54 PM |
|
07:28:27 PM |
02:22:33 |
| |
03:10:59 PM |
|
04:59:11 PM |
01:48:12 |
| |
09:17:35 AM |
|
10:30:12 AM |
01:12:37 |
| 2010-08-03 |
01:03:43 PM |
|
02:14:48 PM |
01:11:05 |
| |
07:33:05 AM |
|
10:48:24 AM |
03:15:19 |
| |
05:56:09 AM |
|
06:03:30 AM |
00:07:21 |
|
|
fix static bugs in code with the FindBugs tool
| 2010-08-03 |
05:44:44 AM |
|
07:56:08 AM |
02:11:24 |
| 2010-08-02 |
02:00:21 PM |
|
03:05:40 PM |
01:05:19 |
| 2010-07-31 |
01:12:44 PM |
|
02:09:31 PM |
00:56:47 |
|
|
http://jomdoc.omdoc.org/ticket/505
| 2010-07-30 |
06:02:45 PM |
|
06:05:51 PM |
00:03:06 |
|
|
fix rendering documents with an extension different from .omdoc
| 2010-07-30 |
05:02:47 PM |
|
05:32:19 PM |
00:29:32 |
|
|
http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
| 2010-07-30 |
03:24:00 PM |
|
04:08:40 PM |
00:44:40 |
| |
09:57:53 AM |
|
11:47:17 AM |
01:49:24 |
| 2010-07-28 |
10:11:33 PM |
2010-07-29 |
12:01:55 AM |
01:50:22 |
| 2010-07-28 |
09:14:59 PM |
|
09:55:30 PM |
00:40:31 |
| |
01:06:02 PM |
|
01:45:42 PM |
00:39:40 |
| |
11:10:36 AM |
|
12:31:25 PM |
01:20:49 |
|
|
multithreading test on NotationDocument
| 2010-07-28 |
08:50:50 AM |
|
10:39:46 AM |
01:48:56 |
|
|
refactor strict-pragmatic transformers
| 2010-07-28 |
08:46:21 AM |
|
08:50:48 AM |
00:04:27 |
| 2010-07-27 |
09:40:10 PM |
|
10:12:33 PM |
00:32:23 |
| |
05:00:32 PM |
|
06:06:08 PM |
01:05:36 |
|
|
remove old ImportsAware
| 2010-07-27 |
04:50:55 PM |
|
05:00:03 PM |
00:09:08 |
|
|
Performance tuning
| 2010-07-26 |
11:00:58 PM |
2010-07-27 |
12:44:59 AM |
01:44:01 |
|