--- a/lib/Tools/dotnet Tue Mar 26 17:27:35 2024 +0100
+++ b/lib/Tools/dotnet Tue Mar 26 20:23:13 2024 +0100
@@ -5,7 +5,7 @@
# DESCRIPTION: invoke the dotnet CLI driver within the Isabelle environment
if [ -z "$ISABELLE_DOTNET" ]; then
- echo "Missing dotnet installation: need to run \"isabelle dotnet_setup\" first" >&2
+ echo "Missing Dotnet installation: need to run \"isabelle dotnet_setup\" first" >&2
exit 2
else
exec "$ISABELLE_DOTNET" "$@"
--- a/src/Pure/Tools/dotnet_setup.scala Tue Mar 26 17:27:35 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala Tue Mar 26 20:23:13 2024 +0100
@@ -1,7 +1,7 @@
/* Title: Pure/Tools/dotnet_setup.scala
Author: Makarius
-Dynamic setup of dotnet component.
+Dynamic setup of Dotnet component.
*/
package isabelle
@@ -132,7 +132,7 @@
/* Isabelle tool wrapper */
val isabelle_tool =
- Isabelle_Tool("dotnet_setup", "dynamic setup of dotnet component (for Fsharp)",
+ Isabelle_Tool("dotnet_setup", "dynamic setup of Dotnet component (for Fsharp)",
Scala_Project.here,
{ args =>