summaryrefslogtreecommitdiff
path: root/Source/Core/Xml.cs
Commit message (Collapse)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
|
* BlockSeq: farewellGravatar Ally Donaldson2013-07-22
|
* Let Boogie clients determine their own version stringGravatar Rustan Leino2013-01-23
|
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
|
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
|
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20