lexing: Changelog

Christian Urban <urbanc@in.tum.de> [Mon, 20 Mar 2017 15:13:17 +0000] rev 239

added automata implementation

Christian Urban <urbanc@in.tum.de> [Fri, 17 Mar 2017 19:47:42 +0000] rev 238

added AND-regular expression (intersection/conjunction)

Christian Urban <urbanc@in.tum.de> [Mon, 13 Mar 2017 14:54:12 +0000] rev 237

updated

Christian Urban <urbanc@in.tum.de> [Mon, 13 Mar 2017 14:52:13 +0000] rev 236

updated

Christian Urban <urbanc@in.tum.de> [Sat, 11 Mar 2017 19:33:38 +0000] rev 235

updated

Christian Urban <urbanc@in.tum.de> [Sat, 11 Mar 2017 12:50:01 +0000] rev 234

updated

Christian Urban <urbanc@in.tum.de> [Wed, 08 Mar 2017 10:32:51 +0000] rev 233

strengthened PLUS-posix definition

Christian Urban <urbanc@in.tum.de> [Tue, 07 Mar 2017 00:24:10 +0000] rev 232

added lit

Christian Urban <urbanc@in.tum.de> [Sun, 05 Mar 2017 00:31:04 +0000] rev 231

updated the re-ext-scala file

Christian Urban <urbanc@in.tum.de> [Sat, 04 Mar 2017 22:27:09 +0000] rev 230

just for fun added the case for PLUS (was already proved as FROMNTIMES)

lexing