Timeline

Jul 20, 2020:

11:24 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) updated by Olly Betts

This could be a cavern bug, but I'm not seeing any real evidence of …

11:13 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) updated by Olly Betts

Removing that LF it works for me: […]

10:43 PM arrow.svx attached to Ticket #118 by Philip Sargent

this is the file, but after I edited it with a LF before the ; in the …

10:39 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) updated by Philip Sargent

bugger that didn't work. Sorry I overwrote the file, I'll have to …

10:37 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) updated by Philip Sargent

[…]

10:33 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) updated by Olly Betts

Version, Component changed

10:32 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) updated by Olly Betts

Description changed
Can you provide a reproducer (i.e. a self-contained .svx file I can …

10:20 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) updated by Philip Sargent

Sorry I overwrote the .log file after I fixed it so can't attach it.

10:19 PM Ticket #118 (possible problem with ; comments after *date if text is numeric like a date) created by Philip Sargent

*date 1993.07.17 ; trip 1993-161-15 in logbook in …