Cas Cremers
|
8d0b704635
|
Added weak agreement claims to NS.
|
2012-05-01 16:37:04 +02:00 |
|
Cas Cremers
|
98dd606404
|
Adding agreement etc. to NS/NSL protocol.
|
2012-04-25 22:09:46 +02:00 |
|
Cas Cremers
|
9b0915441f
|
Synchronising MPA branch with compromise branch where possible.
|
2012-04-25 17:03:51 +02:00 |
|
Cas Cremers
|
755c4519c6
|
Large pass on protocol specification files to get rid of deprecated constructions.
|
2012-04-23 15:53:28 +02:00 |
|
Cas Cremers
|
d348736c87
|
SPDL: Removing obsolete constructs from SPDL file.
|
2012-03-22 10:53:03 +01:00 |
|
Cas Cremers
|
f1e35b1cde
|
- Fixed ns/nsl and mpa example.
|
2007-05-19 18:02:36 +02:00 |
|
ccremers
|
e1ddf0668b
|
- Added gui.
|
2006-08-02 12:59:57 +00:00 |
|