regexp: Changelog

Mercurial Mercurial > hg > regexp / changelog

Mon, 05 Sep 2011 14:15:32 +0000 polished SUBSEQ

changeset

urbanc [Mon, 05 Sep 2011 14:15:32 +0000] rev 239

polished SUBSEQ

Mon, 05 Sep 2011 13:44:01 +0000 slight polishing to SUBSEQ

changeset

urbanc [Mon, 05 Sep 2011 13:44:01 +0000] rev 238

slight polishing to SUBSEQ

Mon, 05 Sep 2011 13:43:12 +0000 slight polishing to SUBSEQ

changeset

urbanc [Mon, 05 Sep 2011 13:43:12 +0000] rev 237

slight polishing to SUBSEQ

Mon, 05 Sep 2011 13:09:38 +0000 shortened

changeset

urbanc [Mon, 05 Sep 2011 13:09:38 +0000] rev 236

shortened

Mon, 05 Sep 2011 12:40:22 +0000 some changes

changeset

urbanc [Mon, 05 Sep 2011 12:40:22 +0000] rev 235

some changes

Mon, 05 Sep 2011 12:33:26 +0000 some changes

changeset

urbanc [Mon, 05 Sep 2011 12:33:26 +0000] rev 234

some changes

Mon, 05 Sep 2011 12:07:16 +0000 added section about SUBSEQ and SUPSEQ

changeset

urbanc [Mon, 05 Sep 2011 12:07:16 +0000] rev 233

added section about SUBSEQ and SUPSEQ

Sun, 04 Sep 2011 07:28:48 +0000 Proposal paragraphs by Xingyuan completed (with references added).

changeset

zhang [Sun, 04 Sep 2011 07:28:48 +0000] rev 232

Proposal paragraphs by Xingyuan completed (with references added).

Sun, 04 Sep 2011 00:21:41 +0000 removed the last two sorry's

changeset

urbanc [Sun, 04 Sep 2011 00:21:41 +0000] rev 231

removed the last two sorry's

Fri, 02 Sep 2011 14:29:54 +0000 More modification by Xingyuan.

changeset

zhang [Fri, 02 Sep 2011 14:29:54 +0000] rev 230

More modification by Xingyuan.

Fri, 02 Sep 2011 14:11:36 +0000 One passage added.

changeset

zhang [Fri, 02 Sep 2011 14:11:36 +0000] rev 229

One passage added.

Fri, 02 Sep 2011 14:01:11 +0000 latest changes

changeset

urbanc [Fri, 02 Sep 2011 14:01:11 +0000] rev 228

latest changes

Fri, 02 Sep 2011 13:34:45 +0000 small change

changeset

urbanc [Fri, 02 Sep 2011 13:34:45 +0000] rev 227

small change

Fri, 02 Sep 2011 13:30:17 +0000 small improvement

changeset

urbanc [Fri, 02 Sep 2011 13:30:17 +0000] rev 226

small improvement

Fri, 02 Sep 2011 13:29:46 +0000 added a start for a proposal

changeset

urbanc [Fri, 02 Sep 2011 13:29:46 +0000] rev 225

added a start for a proposal

Fri, 02 Sep 2011 12:19:00 +0000 added example about non-regularity

changeset

urbanc [Fri, 02 Sep 2011 12:19:00 +0000] rev 224

added example about non-regularity

Fri, 02 Sep 2011 09:53:56 +0000 cleaned up proofs

changeset

urbanc [Fri, 02 Sep 2011 09:53:56 +0000] rev 223

cleaned up proofs

Thu, 01 Sep 2011 23:18:34 +0000 included Higman's lemma from the Isabelle repository

changeset

urbanc [Thu, 01 Sep 2011 23:18:34 +0000] rev 222

included Higman's lemma from the Isabelle repository

Thu, 01 Sep 2011 20:26:30 +0000 solved the SUBSEQ/SUPSEQ problem

changeset

urbanc [Thu, 01 Sep 2011 20:26:30 +0000] rev 221

solved the SUBSEQ/SUPSEQ problem

Tue, 30 Aug 2011 11:31:18 +0000 added a further test

changeset

urbanc [Tue, 30 Aug 2011 11:31:18 +0000] rev 220

added a further test

Fri, 26 Aug 2011 17:29:07 +0000 corrected typo

changeset

urbanc [Fri, 26 Aug 2011 17:29:07 +0000] rev 219

corrected typo

Fri, 26 Aug 2011 17:23:46 +0000 added a few points

changeset

urbanc [Fri, 26 Aug 2011 17:23:46 +0000] rev 218

added a few points

Thu, 25 Aug 2011 19:33:41 +0000 a few bits on the journal paper

changeset

urbanc [Thu, 25 Aug 2011 19:33:41 +0000] rev 217

a few bits on the journal paper

Thu, 25 Aug 2011 06:19:42 +0000 shown slides

changeset

urbanc [Thu, 25 Aug 2011 06:19:42 +0000] rev 216

shown slides

Thu, 25 Aug 2011 06:18:58 +0000 final polishing

changeset

urbanc [Thu, 25 Aug 2011 06:18:58 +0000] rev 215

final polishing

Wed, 24 Aug 2011 22:21:37 +0000 added pdf of slides

changeset

urbanc [Wed, 24 Aug 2011 22:21:37 +0000] rev 214

added pdf of slides

Wed, 24 Aug 2011 22:18:54 +0000 final slides

changeset

urbanc [Wed, 24 Aug 2011 22:18:54 +0000] rev 213

final slides

Wed, 24 Aug 2011 10:01:24 +0000 more slides

changeset

urbanc [Wed, 24 Aug 2011 10:01:24 +0000] rev 212