summaryrefslogtreecommitdiff
path: root/Source/version.ssc
Commit message (Collapse)AuthorAge
* Use reflection to read version string from assembly when displaying logo ↵Gravatar stobies2010-02-08
| | | | information
* Changes needed in order to build Boogie using a freshly built Spec# compiler ↵Gravatar mikebarnett2009-08-10
| | | | and not just the LKG.
* Initial set of files.Gravatar mikebarnett2009-07-15