Mantis - OCamlScripting
Erweiterte Problemanzeige
21 general kleinerer Fehler immer 2008-08-11 14:08 2008-11-02 14:02
xclerc  
xclerc  
normal  
erledigt 1.0  
erledigt  
keine    
keine Cadmium 1.1 (after merge)  
0000021: Returned extension is incoherent with other engines
The OCamlScripting engine returns extensions ".ml" and ".mli" while other engines
return extensions with no leading dot.
Problem-Historie
2008-08-11 14:08 xclerc Neues Problem
2008-08-11 14:09 xclerc Problemnotiz hinzugefügt: 0000024
2008-08-11 14:09 xclerc Bearbeitung durch => xclerc
2008-08-11 14:09 xclerc Status neu => anerkannt
2008-08-21 18:36 anonymous Problemnotiz hinzugefügt: 0000025
2008-08-21 20:10 anonymous Problemnotiz hinzugefügt: 0000026
2008-08-24 21:32 xclerc Problemnotiz gelöscht: 0000025
2008-08-24 21:32 xclerc Problemnotiz gelöscht: 0000026
2008-08-25 14:00 anonymous Problemnotiz hinzugefügt: 0000027
2008-08-25 14:01 anonymous Problemnotiz hinzugefügt: 0000028
2008-08-25 14:06 anonymous Problemnotiz hinzugefügt: 0000029
2008-08-25 14:07 anonymous Problemnotiz hinzugefügt: 0000030
2008-08-25 14:12 anonymous Problemnotiz hinzugefügt: 0000031
2008-08-25 14:13 anonymous Problemnotiz hinzugefügt: 0000032
2008-08-25 14:17 anonymous Problemnotiz hinzugefügt: 0000033
2008-08-25 14:19 anonymous Problemnotiz hinzugefügt: 0000034
2008-08-25 14:23 anonymous Problemnotiz hinzugefügt: 0000035
2008-08-25 14:24 anonymous Problemnotiz hinzugefügt: 0000036
2008-08-25 14:29 anonymous Problemnotiz hinzugefügt: 0000037
2008-08-25 14:30 anonymous Problemnotiz hinzugefügt: 0000038
2008-08-25 14:35 anonymous Problemnotiz hinzugefügt: 0000039
2008-08-25 14:36 anonymous Problemnotiz hinzugefügt: 0000040
2008-08-25 14:41 anonymous Problemnotiz hinzugefügt: 0000041
2008-08-25 14:41 anonymous Problemnotiz hinzugefügt: 0000042
2008-08-25 14:47 anonymous Problemnotiz hinzugefügt: 0000043
2008-08-25 14:47 anonymous Problemnotiz hinzugefügt: 0000044
2008-08-25 14:52 anonymous Problemnotiz hinzugefügt: 0000045
2008-08-25 14:52 anonymous Problemnotiz hinzugefügt: 0000046
2008-08-25 14:58 anonymous Problemnotiz hinzugefügt: 0000047
2008-08-25 14:58 anonymous Problemnotiz hinzugefügt: 0000048
2008-08-25 15:04 anonymous Problemnotiz hinzugefügt: 0000049
2008-08-25 15:10 anonymous Problemnotiz hinzugefügt: 0000050
2008-08-25 15:10 anonymous Problemnotiz hinzugefügt: 0000051
2008-08-25 15:16 anonymous Problemnotiz hinzugefügt: 0000052
2008-08-25 15:16 anonymous Problemnotiz hinzugefügt: 0000053
2008-08-25 15:21 anonymous Problemnotiz hinzugefügt: 0000054
2008-08-25 15:22 anonymous Problemnotiz hinzugefügt: 0000055
2008-08-25 15:27 anonymous Problemnotiz hinzugefügt: 0000056
2008-08-25 15:27 anonymous Problemnotiz hinzugefügt: 0000057
2008-08-25 15:33 anonymous Problemnotiz hinzugefügt: 0000058
2008-08-25 15:33 anonymous Problemnotiz hinzugefügt: 0000059
2008-08-25 15:39 anonymous Problemnotiz hinzugefügt: 0000060
2008-08-25 15:39 anonymous Problemnotiz hinzugefügt: 0000061
2008-08-25 15:45 anonymous Problemnotiz hinzugefügt: 0000062
2008-08-25 15:45 anonymous Problemnotiz hinzugefügt: 0000063
2008-08-25 15:51 anonymous Problemnotiz hinzugefügt: 0000064
2008-08-25 15:51 anonymous Problemnotiz hinzugefügt: 0000065
2008-08-25 15:56 anonymous Problemnotiz hinzugefügt: 0000066
2008-08-25 15:56 anonymous Problemnotiz hinzugefügt: 0000067
2008-08-25 16:02 anonymous Problemnotiz hinzugefügt: 0000068
2008-08-25 16:02 anonymous Problemnotiz hinzugefügt: 0000069
2008-08-25 16:08 anonymous Problemnotiz hinzugefügt: 0000070
2008-08-25 16:08 anonymous Problemnotiz hinzugefügt: 0000071
2008-08-25 16:14 anonymous Problemnotiz hinzugefügt: 0000072
2008-08-25 16:19 anonymous Problemnotiz hinzugefügt: 0000073
2008-08-25 16:19 anonymous Problemnotiz hinzugefügt: 0000074
2008-08-25 16:25 anonymous Problemnotiz hinzugefügt: 0000075
2008-08-25 16:25 anonymous Problemnotiz hinzugefügt: 0000076
2008-08-25 16:31 anonymous Problemnotiz hinzugefügt: 0000077
2008-08-25 16:31 anonymous Problemnotiz hinzugefügt: 0000078
2008-08-25 16:37 anonymous Problemnotiz hinzugefügt: 0000079
2008-08-25 16:37 anonymous Problemnotiz hinzugefügt: 0000080
2008-08-25 16:43 anonymous Problemnotiz hinzugefügt: 0000081
2008-08-25 16:43 anonymous Problemnotiz hinzugefügt: 0000082
2008-08-25 16:48 anonymous Problemnotiz hinzugefügt: 0000083
2008-08-25 16:48 anonymous Problemnotiz hinzugefügt: 0000084
2008-08-25 16:56 anonymous Problemnotiz hinzugefügt: 0000085
2008-08-25 16:56 anonymous Problemnotiz hinzugefügt: 0000086
2008-08-25 17:01 anonymous Problemnotiz hinzugefügt: 0000087
2008-08-25 17:02 anonymous Problemnotiz hinzugefügt: 0000088
2008-08-25 17:07 anonymous Problemnotiz hinzugefügt: 0000089
2008-08-25 17:07 anonymous Problemnotiz hinzugefügt: 0000090
2008-08-25 17:13 anonymous Problemnotiz hinzugefügt: 0000091
2008-08-25 17:13 anonymous Problemnotiz hinzugefügt: 0000092
2008-08-25 17:19 anonymous Problemnotiz hinzugefügt: 0000093
2008-08-25 17:19 anonymous Problemnotiz hinzugefügt: 0000094
2008-08-25 17:25 anonymous Problemnotiz hinzugefügt: 0000095
2008-08-25 17:25 anonymous Problemnotiz hinzugefügt: 0000096
2008-08-25 17:30 anonymous Problemnotiz hinzugefügt: 0000097
2008-08-25 17:30 anonymous Problemnotiz hinzugefügt: 0000098
2008-08-25 17:36 anonymous Problemnotiz hinzugefügt: 0000099
2008-08-25 17:36 anonymous Problemnotiz hinzugefügt: 0000100
2008-08-25 17:42 anonymous Problemnotiz hinzugefügt: 0000101
2008-08-25 17:42 anonymous Problemnotiz hinzugefügt: 0000102
2008-08-25 17:48 anonymous Problemnotiz hinzugefügt: 0000103
2008-08-25 17:48 anonymous Problemnotiz hinzugefügt: 0000104
2008-08-25 17:53 anonymous Problemnotiz hinzugefügt: 0000105
2008-08-25 17:53 anonymous Problemnotiz hinzugefügt: 0000106
2008-08-25 17:59 anonymous Problemnotiz hinzugefügt: 0000107
2008-08-25 17:59 anonymous Problemnotiz hinzugefügt: 0000108
2008-08-25 18:04 anonymous Problemnotiz hinzugefügt: 0000109
2008-08-25 18:04 anonymous Problemnotiz hinzugefügt: 0000110
2008-08-25 18:10 anonymous Problemnotiz hinzugefügt: 0000111
2008-08-25 18:10 anonymous Problemnotiz hinzugefügt: 0000112
2008-08-25 18:16 anonymous Problemnotiz hinzugefügt: 0000113
2008-08-25 18:17 anonymous Problemnotiz hinzugefügt: 0000114
2008-08-25 18:22 anonymous Problemnotiz hinzugefügt: 0000115
2008-08-25 18:22 anonymous Problemnotiz hinzugefügt: 0000116
2008-08-25 18:27 anonymous Problemnotiz hinzugefügt: 0000117
2008-08-25 18:27 anonymous Problemnotiz hinzugefügt: 0000118
2008-08-25 18:33 anonymous Problemnotiz hinzugefügt: 0000119
2008-08-25 18:33 anonymous Problemnotiz hinzugefügt: 0000120
2008-08-25 18:39 anonymous Problemnotiz hinzugefügt: 0000121
2008-08-25 18:39 anonymous Problemnotiz hinzugefügt: 0000122
2008-08-25 18:44 anonymous Problemnotiz hinzugefügt: 0000123
2008-08-25 18:44 anonymous Problemnotiz hinzugefügt: 0000124
2008-08-25 18:50 anonymous Problemnotiz hinzugefügt: 0000125
2008-08-25 18:50 anonymous Problemnotiz hinzugefügt: 0000126
2008-08-25 18:55 anonymous Problemnotiz hinzugefügt: 0000127
2008-08-25 18:55 anonymous Problemnotiz hinzugefügt: 0000128
2008-08-25 19:01 anonymous Problemnotiz hinzugefügt: 0000129
2008-08-25 19:01 anonymous Problemnotiz hinzugefügt: 0000130
2008-08-25 19:07 anonymous Problemnotiz hinzugefügt: 0000131
2008-08-25 19:07 anonymous Problemnotiz hinzugefügt: 0000132
2008-08-25 19:13 anonymous Problemnotiz hinzugefügt: 0000133
2008-08-25 19:13 anonymous Problemnotiz hinzugefügt: 0000134
2008-08-25 19:18 anonymous Problemnotiz hinzugefügt: 0000135
2008-08-25 19:19 anonymous Problemnotiz hinzugefügt: 0000136
2008-08-25 19:24 anonymous Problemnotiz hinzugefügt: 0000137
2008-08-25 19:24 anonymous Problemnotiz hinzugefügt: 0000138
2008-08-25 19:30 anonymous Problemnotiz hinzugefügt: 0000139
2008-08-25 19:30 anonymous Problemnotiz hinzugefügt: 0000140
2008-08-25 19:30 anonymous Problemnotiz hinzugefügt: 0000141
2008-08-25 19:36 anonymous Problemnotiz hinzugefügt: 0000142
2008-08-25 19:36 anonymous Problemnotiz hinzugefügt: 0000143
2008-08-25 19:41 anonymous Problemnotiz hinzugefügt: 0000144
2008-08-25 19:42 anonymous Problemnotiz hinzugefügt: 0000145
2008-08-25 19:49 anonymous Problemnotiz hinzugefügt: 0000146
2008-08-25 19:49 anonymous Problemnotiz hinzugefügt: 0000147
2008-08-25 19:55 anonymous Problemnotiz hinzugefügt: 0000148
2008-08-25 19:55 anonymous Problemnotiz hinzugefügt: 0000149
2008-08-25 20:00 anonymous Problemnotiz hinzugefügt: 0000150
2008-08-25 20:00 anonymous Problemnotiz hinzugefügt: 0000151
2008-08-25 20:06 anonymous Problemnotiz hinzugefügt: 0000152
2008-08-25 20:06 anonymous Problemnotiz hinzugefügt: 0000153
2008-08-25 20:12 anonymous Problemnotiz hinzugefügt: 0000154
2008-08-25 20:12 anonymous Problemnotiz hinzugefügt: 0000155
2008-08-25 20:18 anonymous Problemnotiz hinzugefügt: 0000156
2008-08-25 20:18 anonymous Problemnotiz hinzugefügt: 0000157
2008-08-25 20:25 anonymous Problemnotiz hinzugefügt: 0000158
2008-08-25 20:25 anonymous Problemnotiz hinzugefügt: 0000159
2008-08-25 20:32 anonymous Problemnotiz hinzugefügt: 0000160
2008-08-25 20:32 anonymous Problemnotiz hinzugefügt: 0000161
2008-08-25 20:39 anonymous Problemnotiz hinzugefügt: 0000162
2008-08-25 20:39 anonymous Problemnotiz hinzugefügt: 0000163
2008-08-25 20:43 xclerc Problemnotiz gelöscht: 0000027
2008-08-25 20:43 xclerc Problemnotiz gelöscht: 0000163
2008-08-25 20:43 xclerc Problemnotiz gelöscht: 0000162
2008-08-25 20:43 xclerc Problemnotiz gelöscht: 0000028
2008-08-25 20:44 xclerc Problemnotiz gelöscht: 0000029
2008-08-25 20:44 xclerc Problemnotiz gelöscht: 0000030
2008-08-25 20:44 xclerc Problemnotiz Anzeigestatus: privat: 31
2008-08-25 20:44 xclerc Problemnotiz gelöscht: 0000031
2008-08-25 20:44 xclerc Problemnotiz gelöscht: 0000032
2008-08-25 20:44 xclerc Problemnotiz gelöscht: 0000033
2008-08-25 20:44 xclerc Problemnotiz gelöscht: 0000035
2008-08-25 20:44 xclerc Problemnotiz gelöscht: 0000034
2008-08-25 20:45 xclerc Problemnotiz gelöscht: 0000036
2008-08-25 20:45 xclerc Problemnotiz gelöscht: 0000038
2008-08-25 20:45 xclerc Problemnotiz gelöscht: 0000037
2008-08-25 20:45 xclerc Problemnotiz gelöscht: 0000039
2008-08-25 20:45 xclerc Problemnotiz gelöscht: 0000040
2008-08-25 20:46 xclerc Problemnotiz gelöscht: 0000041
2008-08-25 20:46 xclerc Problemnotiz gelöscht: 0000042
2008-08-25 20:46 xclerc Problemnotiz gelöscht: 0000043
2008-08-25 20:46 xclerc Problemnotiz gelöscht: 0000044
2008-08-25 20:46 xclerc Problemnotiz gelöscht: 0000045
2008-08-25 20:47 xclerc Problemnotiz gelöscht: 0000046
2008-08-25 20:47 xclerc Problemnotiz gelöscht: 0000047
2008-08-25 20:47 xclerc Problemnotiz gelöscht: 0000048
2008-08-25 20:47 xclerc Problemnotiz gelöscht: 0000049
2008-08-25 20:47 xclerc Problemnotiz gelöscht: 0000050
2008-08-26 00:38 xclerc Problemnotiz gelöscht: 0000051
2008-08-26 00:38 xclerc Problemnotiz gelöscht: 0000052
2008-08-26 00:41 xclerc Problemnotiz gelöscht: 0000053
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000054
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000055
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000056
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000057
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000058
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000059
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000060
2008-08-26 00:42 xclerc Problemnotiz gelöscht: 0000061
2008-08-26 00:43 xclerc Problemnotiz gelöscht: 0000062
2008-08-26 00:43 xclerc Problemnotiz gelöscht: 0000063
2008-08-26 00:43 xclerc Problemnotiz gelöscht: 0000064
2008-08-26 00:43 xclerc Problemnotiz gelöscht: 0000065
2008-08-26 00:43 xclerc Problemnotiz gelöscht: 0000066
2008-08-26 00:43 xclerc Problemnotiz gelöscht: 0000067
2008-08-26 00:43 xclerc Problemnotiz gelöscht: 0000068
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000069
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000070
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000071
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000072
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000073
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000074
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000075
2008-08-26 00:44 xclerc Problemnotiz gelöscht: 0000076
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000077
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000078
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000079
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000080
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000081
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000082
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000083
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000084
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000085
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000086
2008-08-26 00:45 xclerc Problemnotiz gelöscht: 0000087
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000088
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000089
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000090
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000091
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000092
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000093
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000094
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000095
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000096
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000097
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000098
2008-08-26 00:46 xclerc Problemnotiz gelöscht: 0000099
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000100
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000101
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000102
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000103
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000104
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000105
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000106
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000107
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000108
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000109
2008-08-26 00:47 xclerc Problemnotiz gelöscht: 0000110
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000111
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000112
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000113
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000114
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000115
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000116
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000117
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000118
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000119
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000120
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000121
2008-08-26 00:48 xclerc Problemnotiz gelöscht: 0000122
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000123
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000124
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000125
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000126
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000127
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000128
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000129
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000130
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000131
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000132
2008-08-26 00:49 xclerc Problemnotiz gelöscht: 0000133
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000134
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000135
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000136
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000137
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000138
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000139
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000140
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000141
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000142
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000143
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000144
2008-08-26 00:50 xclerc Problemnotiz gelöscht: 0000145
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000146
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000147
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000148
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000149
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000150
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000151
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000152
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000153
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000154
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000155
2008-08-26 00:51 xclerc Problemnotiz gelöscht: 0000156
2008-08-26 00:52 xclerc Problemnotiz gelöscht: 0000157
2008-08-26 00:52 xclerc Problemnotiz gelöscht: 0000158
2008-08-26 00:52 xclerc Problemnotiz gelöscht: 0000159
2008-08-26 00:52 xclerc Problemnotiz gelöscht: 0000160
2008-08-26 00:52 xclerc Problemnotiz gelöscht: 0000161
2008-08-26 00:53 xclerc Problemnotiz hinzugefügt: 0000164
2008-11-02 14:02 xclerc Status anerkannt => erledigt
2008-11-02 14:02 xclerc Behoben in Version => Cadmium 1.1 (after merge)
2008-11-02 14:02 xclerc Lösung offen => erledigt

Notiz
(0000024)
xclerc   
2008-08-11 14:09   
This problem will be fixed in the next (1.1) version of OCaml-Java that should
be available at the end of the summer (2008). One may notice that it is highly
probable that this version of OCaml-Java will see the merge of OCamlScripting
into the Cadmium base. The main reason for having two separate subprojects
was that OCamlScripting was relying on Java 1.6-specific elements while the
base project was only Java 1.5 compliant (with no dependencies).
The next OCaml-Java version will support Java 1.6, and likely drop support for Java 1.5.
(0000164)
xclerc   
2008-08-26 00:53   
All the deleted notes were pure spam.
From this point, only registered users will be able to report a bug, or to add a note.