On Tue, 12 Sep 2017 12:28:03 +0200, Steven Pemberton <steven.pemberton@cwi.nl> wrote: >> That produces this monstrosity: >> >> <pattern value="^\ *\+?([0-9]\ *(\-\ *[0-9]\ *)?)+(\(([0-9]\ *(\-\ >> *[0-9]\ *)?)+\)\ *([0-9]\ *(\-\ *[0-9]\ *)?)+)?\ *$"/> > > Correction: > <pattern value="^\ *\+?\ *([0-9]\ *(\-\ *[0-9]\ *)?)+(\(\ *([0-9]\ > *(\-\ *[0-9]\ *)?)+\)\ *([0-9]\ *(\-\ *[0-9]\ *)?)+)?\ *$"/> Correction: <pattern value="^\ *(\+?\ *([0-9]\ *(\-\ *[0-9]\ *)?)+(\(\ *([0-9]\ *(\-\ *[0-9]\ *)?)+\)\ *([0-9]\ *(\-\ *[0-9]\ *)?)+)?)|(\(\ *([0-9]\ *(\-\ *[0-9]\ *)?)+\)\ *([0-9]\ *(\-\ *[0-9]\ *)?)+)\ *$"/> StevenReceived on Tuesday, 12 September 2017 15:07:14 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:37:48 UTC