diff --git a/Pantograph/Version.lean b/Pantograph/Version.lean index fc3ca88..a65274d 100644 --- a/Pantograph/Version.lean +++ b/Pantograph/Version.lean @@ -1,6 +1,6 @@ namespace Pantograph @[export pantograph_version] -def version := "0.2.26" +def version := "0.3.0-rc.1" end Pantograph