Improving time parsing
Change-Id: I32d1a2843d3b25e30cb49442c0463f1fa0365b7e
diff --git a/src/tokenizer.xfst b/src/tokenizer.xfst
index 7e4145d..ea20605 100644
--- a/src/tokenizer.xfst
+++ b/src/tokenizer.xfst
@@ -117,8 +117,8 @@
define Years ["(" Digit+ (".") ")"] | ["[" Digit+ (".") "]"];
-! 20:00 Uhr
-define Times [ ([%0|1|2]) Digit ( WS ) ":" [%0|1|2|3|4|5|6] Digit ];
+! 20:00 Uhr, 00:12:25,34 Minuten
+define Times [ ( [%0|1|2|3|4|5] ) Digit [ ":" [%0|1|2|3|4|5] Digit ]^{1,2} ( "," [ Digit ]^{1,3} ) ];
source emoji.xfst
define Emoji;