User contributions for Konradm

14 November 2006

• 22:0522:05, 14 November 2006 diff hist +19 m DynamicTypeSet →Dynamic type set algorithm
• 19:3319:33, 14 November 2006 diff hist 0 m DynamicTypeSet →Dynamic type set algorithm
• 19:1819:18, 14 November 2006 diff hist −7 m DynamicTypeSet →Proof obligation based algorithm
• 18:5918:59, 14 November 2006 diff hist +38 m DynamicTypeSet →Dynamic type set algorithm
• 18:5418:54, 14 November 2006 diff hist +94 m DynamicTypeSet →Dynamic type set algorithm
• 18:5018:50, 14 November 2006 diff hist −403 m DynamicTypeSet →Dynamic type set algorithm
• 18:5018:50, 14 November 2006 diff hist 0 m DynamicTypeSet →CAT-Call freeness detection algorithms
• 18:5018:50, 14 November 2006 diff hist −4 m DynamicTypeSet →CAT-Call freeness detection algorithms
• 18:4918:49, 14 November 2006 diff hist +21 m DynamicTypeSet →CAT-Call freeness detection algorithms
• 18:4818:48, 14 November 2006 diff hist 0 m DynamicTypeSet →CAT-Call freeness detection algorithms
• 18:4218:42, 14 November 2006 diff hist +671 m DynamicTypeSet →Dynamic type set algorithm
• 18:2518:25, 14 November 2006 diff hist +181 m DynamicTypeSet →Dynamic type set algorithm
• 18:1918:19, 14 November 2006 diff hist +490 m DynamicTypeSet →Dynamic type set algorithm
• 18:1618:16, 14 November 2006 diff hist +56 m DynamicTypeSet →Dynamic type set algorithm

13 November 2006

• 23:5723:57, 13 November 2006 diff hist −2 m Transposition →Transposition, repeated inheritance and replication current
• 23:3823:38, 13 November 2006 diff hist +103 m DynamicTypeSet →Dynamic type set algorithm
• 23:0023:00, 13 November 2006 diff hist +169 m DynamicTypeSet →Dynamic type set algorithm
• 21:2121:21, 13 November 2006 diff hist −7 m Multiple constraints →The programmer selects a static type by using local variables or the object test
• 19:1819:18, 13 November 2006 diff hist +25 m DynamicTypeSet No edit summary
• 19:1719:17, 13 November 2006 diff hist +25 m New CAT call No edit summary
• 19:1619:16, 13 November 2006 diff hist +24 m Transposition No edit summary

11 November 2006

• 00:4000:40, 11 November 2006 diff hist +3 m DynamicTypeSet →Dynamic type set algorithm
• 00:3900:39, 11 November 2006 diff hist +279 m DynamicTypeSet →Dynamic type set algorithm
• 00:2600:26, 11 November 2006 diff hist +583 m DynamicTypeSet →Dynamic type set algorithm

10 November 2006

• 23:5523:55, 10 November 2006 diff hist −8 m DynamicTypeSet →CAT-Call freeness detection algorithms
• 23:5423:54, 10 November 2006 diff hist −5 m DynamicTypeSet →CAT-Call freeness detection algorithms
• 23:5323:53, 10 November 2006 diff hist +24 m DynamicTypeSet →Dynamic type set algorithm
• 23:5323:53, 10 November 2006 diff hist +113 m DynamicTypeSet →Dynamic type set algorithm
• 23:4723:47, 10 November 2006 diff hist +2 m DynamicTypeSet →Dynamic type set algorithm
• 23:4323:43, 10 November 2006 diff hist +279 m DynamicTypeSet →Dynamic type set algorithm
• 23:3523:35, 10 November 2006 diff hist +9 m DynamicTypeSet →CAT-Call detection algorithms
• 23:3423:34, 10 November 2006 diff hist +217 m DynamicTypeSet →Dynamic type set algorithm
• 23:3023:30, 10 November 2006 diff hist −55 m DynamicTypeSet →Dynamic type set algorithm
• 23:2923:29, 10 November 2006 diff hist −1 m DynamicTypeSet →CAT-Call detection algorithms
• 23:2923:29, 10 November 2006 diff hist −1 m DynamicTypeSet →CAT-Call detection algorithms
• 23:2923:29, 10 November 2006 diff hist +35 m DynamicTypeSet No edit summary
• 23:2223:22, 10 November 2006 diff hist +1,358 Nm DynamicTypeSet No edit summary

8 November 2006

• 05:2205:22, 8 November 2006 diff hist −9 m Transposition →Test
• 05:2105:21, 8 November 2006 diff hist +9 m Transposition →Summary

7 November 2006

• 22:4222:42, 7 November 2006 diff hist +1 m Samples and Walkthroughs →You chance to participate
• 22:4222:42, 7 November 2006 diff hist +1 m Samples and Walkthroughs →What Needs to be Done
• 00:4500:45, 7 November 2006 diff hist +36 m New CAT call No edit summary
• 00:3000:30, 7 November 2006 diff hist −4 m New CAT call No edit summary

6 November 2006

• 23:0423:04, 6 November 2006 diff hist +54 m New CAT call No edit summary
• 23:0223:02, 6 November 2006 diff hist +55 m New CAT call No edit summary
• 23:0223:02, 6 November 2006 diff hist −113 m New CAT call →Detachable type
• 23:0123:01, 6 November 2006 diff hist 0 m New CAT call →Conclution
• 23:0123:01, 6 November 2006 diff hist −25 m New CAT call →Introduction
• 23:0023:00, 6 November 2006 diff hist −241 m New CAT call →CAT call results in detached argument
• 23:0023:00, 6 November 2006 diff hist −210 m New CAT call →CAT call results in an argument attached argument