Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Yet another icon update | MichalMoskal | 2010-12-10 |
| | |||
* | Improve the icon | MichalMoskal | 2010-12-10 |
| | |||
* | Add an icon. Get rid of SearchBox (not used). | MichalMoskal | 2010-12-10 |
| | |||
* | Implement different levels of view (normal, expert, etc). | MichalMoskal | 2010-11-09 |
| | | | | Display functions and pointer sets in VCC | ||
* | Right-click enable | MichalMoskal | 2010-11-06 |
| | |||
* | Starting work on Boogie Model Viewer. | MichalMoskal | 2010-10-12 |