summaryrefslogtreecommitdiff
path: root/Source/Provers/Isabelle/Isabelle.csproj
Commit message (Expand)AuthorAge
* <Boogie> <Isabelle> Renaming the source files of the Isabelle project in prep...Gravatar tabarbe2010-07-14
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-22 09:31:46 +0000