This is the first DKAL public release. It contains a bunch of examples and 3 front-ends:
- A console front-end for a single principal: Dkal.exe
- A console front-end for many principals: DkalMulti.exe
- A GUI front-end for a single principal: DkalGui.exe