2017 is default version

larsrh · Oct 16, 2017 · c7e86c5 · c7e86c5
1 parent 4e3e1ec
commit c7e86c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/cli/src/main/scala/Options.scala b/modules/cli/src/main/scala/Options.scala
@@ -19,7 +19,7 @@ case class Options(
   @ValueDescription("version")
   @HelpMessage("Isabelle version ('stable:2016' or 'devel:isabelle-repo' for stable or devel; default prefix: 'stable')")
   @ExtraName("v")
-  version: Version = Version.Stable("2016-1"),
+  version: Version = Version.Stable("2017"),
 
   @ValueDescription("session")
   @HelpMessage("Isabelle session (directory needs to be known; either through --internal, --include, --component or --fetch)")