| 2010-10-08 |
00:40:10 |
- JOMDoc July -- https://jomdoc.omdoc.org/ticket/605
some notation definitions not picked up
|
| 2010-10-07 |
12:39:46 |
- JOMDoc July -- https://jomdoc.omdoc.org/ticket/605
some notation definitions not picked up
- JOMDoc July -- http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
|
| 2010-08-04 |
05:23:22 |
- JOMDoc July -- http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
|
| 2010-08-03 |
06:45:09 |
- JOMDoc July -- http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
- JOMDoc July -- fix static bugs in code with the FindBugs tool
|
| 2010-08-02 |
01:05:19 |
- JOMDoc July -- fix static bugs in code with the FindBugs tool
|
| 2010-07-31 |
00:56:47 |
- JOMDoc July -- fix static bugs in code with the FindBugs tool
|
| 2010-07-30 |
03:06:42 |
- JOMDoc July -- http://jomdoc.omdoc.org/ticket/505
- JOMDoc July -- fix rendering documents with an extension different from .omdoc
- JOMDoc July -- http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
|
| 2010-07-29 |
00:01:55 |
- JOMDoc July -- http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
|
| 2010-07-28 |
06:22:50 |
- JOMDoc July -- http://jomdoc.omdoc.org/ticket/505
Autocompletion for Notation Definitions
- JOMDoc July -- multithreading test on NotationDocument
- JOMDoc July -- refactor strict-pragmatic transformers
|
| 2010-07-27 |
02:32:06 |
- JOMDoc July -- refactor strict-pragmatic transformers
- JOMDoc July -- remove old ImportsAware
- JOMDoc July -- Performance tuning
|
| 2010-07-26 |
00:59:02 |
- JOMDoc July -- Performance tuning
|
