diff --git a/PackageInfo.g b/PackageInfo.g index 009b6ef..ee03d6c 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,8 +10,8 @@ SetPackageInfo( rec( PackageName := "profiling", Subtitle := "Line by line profiling and code coverage for GAP", -Version := "0.3.0", -Date := "30/10/2015", # dd/mm/yyyy format +Version := "0.4.0", +Date := "19/01/2016", # dd/mm/yyyy format Persons := [ rec(