summaryrefslogtreecommitdiff
path: root/Source/Provers/Isabelle/version.cs
Commit message (Collapse)AuthorAge
* Made consistent the way all of the C# projects sign themselves and include ↵Gravatar mikebarnett2010-07-30
| | | | the version information.
* Boogie: Whoops, forgot to check this in. Sorry if it broke the build.Gravatar tabarbe2010-07-19