Johannes Theiner
|
e605657395
|
A3: working version, i hope
|
2020-05-27 12:06:09 +02:00 |
Johannes Theiner
|
dbe8fcbf68
|
Verbesserungen nach Testatversuch
|
2020-05-17 11:28:29 +02:00 |
Johannes Theiner
|
c2493dcc4d
|
small change
|
2020-05-10 14:03:13 +02:00 |
Johannes Theiner
|
e16a069d09
|
A2b4 fertig
|
2020-05-10 12:43:31 +02:00 |
Johannes Theiner
|
ba8cc850c7
|
nearly there
|
2020-05-10 11:51:33 +02:00 |
Johannes Theiner
|
c681fcc2ee
|
A2b4 fast perfekt
|
2020-05-10 10:19:29 +02:00 |
Johannes Theiner
|
3d33cd4f63
|
fast funktionierende Version A2b4
|
2020-05-10 09:23:44 +02:00 |
Johannes Theiner
|
831e723d92
|
Anfang A2b4
|
2020-05-09 19:33:04 +02:00 |
Johannes Theiner
|
1931b23be0
|
A2b4: halb fertig
|
2020-05-08 19:42:15 +02:00 |
Johannes Theiner
|
4690707634
|
A2b3: working version
|
2020-05-04 14:46:22 +02:00 |
Johannes Theiner
|
d29a82f412
|
A2b2: fertig
|
2020-04-30 14:40:28 +02:00 |
Johannes Theiner
|
250c28a74e
|
Anfang A2b_v2
|
2020-04-27 17:42:44 +02:00 |
Johannes Theiner
|
e41bd51c77
|
A2b_v1 fertig
|
2020-04-25 20:43:47 +02:00 |
Johannes Theiner
|
cf0f988c9c
|
A2a fertig
|
2020-04-25 10:57:28 +02:00 |
Johannes Theiner
|
f9778818f3
|
Anpassungen
|
2020-04-21 11:04:32 +02:00 |
Johannes Theiner
|
b79d5358b2
|
+ mcrl2 files
|
2020-04-14 17:29:33 +02:00 |