mod change (-x)

[helm.git] / helm / software / matita / scripts / functions.lua

diff --git a/helm/software/matita/scripts/functions.lua b/helm/software/matita/scripts/functions.lua
old mode 100755 (executable)
new mode 100644 (file)
index d309885..e6935fb
--- a/helm/software/matita/scripts/functions.lua
+++ b/helm/software/matita/scripts/functions.lua
@@ -1,7 +1,7 @@
 #!/usr/bin/lua5.1
 
 local tool_re = "^([%w%.]+)"
-local test_re = "([%w%./_]+)"
+local test_re = "([%w%./_-]+)"
 local rc_re = string.char(27).."%[%d+;%d+m([%a]+)"..string.char(27).."%[0m"
 local time_re = "(%d+m%d+%.%d+s)"
 local mark_re = "(%d+)"