Sat, 08 Oct 2016 12:34:07 +0200 | wenzelm | prefer static Date_Format; | changeset | files |
Sat, 08 Oct 2016 12:20:20 +0200 | wenzelm | more formal directory content; | changeset | files |
Sat, 08 Oct 2016 11:21:29 +0200 | wenzelm | tuned error; | changeset | files |
Sat, 08 Oct 2016 11:04:47 +0200 | wenzelm | tuned; | changeset | files |
Sat, 08 Oct 2016 10:59:38 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
Sat, 08 Oct 2016 13:50:25 +0200 | fleury | clarifying NEWS file | changeset | files |
Fri, 07 Oct 2016 23:11:20 +0200 | wenzelm | more flexible date formats; | changeset | files |
Fri, 07 Oct 2016 22:58:24 +0200 | wenzelm | support for isatest format; | changeset | files |