regexp: Changelog

Mercurial Mercurial > hg > regexp / changelog

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

more on the slides

Tue, 23 Aug 2011 00:33:12 +0000 forgotten file

changeset

urbanc [Tue, 23 Aug 2011 00:33:12 +0000] rev 205

forgotten file

Tue, 23 Aug 2011 00:24:10 +0000 beginnig of the slides (not yet finished)

changeset

urbanc [Tue, 23 Aug 2011 00:24:10 +0000] rev 204

beginnig of the slides (not yet finished)

Mon, 22 Aug 2011 12:49:27 +0000 changes according to afp-submission

changeset

urbanc [Mon, 22 Aug 2011 12:49:27 +0000] rev 203

changes according to afp-submission

Fri, 19 Aug 2011 20:39:07 +0000 two more literature

changeset

urbanc [Fri, 19 Aug 2011 20:39:07 +0000] rev 202

two more literature

Fri, 19 Aug 2011 06:57:57 +0000 added comments by Xingyuan

changeset

urbanc [Fri, 19 Aug 2011 06:57:57 +0000] rev 201

added comments by Xingyuan

Wed, 17 Aug 2011 17:36:19 +0000 added an example for non-regularity and continuation lemma (the example does not yet work)

changeset

urbanc [Wed, 17 Aug 2011 17:36:19 +0000] rev 200

added an example for non-regularity and continuation lemma (the example does not yet work)

Wed, 17 Aug 2011 07:43:09 +0000 a little tuning

changeset

urbanc [Wed, 17 Aug 2011 07:43:09 +0000] rev 199

a little tuning

Tue, 16 Aug 2011 10:21:14 +0000 final(?) version of the paper

changeset

urbanc [Tue, 16 Aug 2011 10:21:14 +0000] rev 198

final(?) version of the paper

Mon, 15 Aug 2011 22:36:26 +0000 a bit more polishing

changeset

urbanc [Mon, 15 Aug 2011 22:36:26 +0000] rev 197

a bit more polishing

Mon, 15 Aug 2011 21:09:08 +0000 polishing of the closure section and conclusion

changeset

urbanc [Mon, 15 Aug 2011 21:09:08 +0000] rev 196

polishing of the closure section and conclusion

Fri, 12 Aug 2011 17:08:58 +0000 small typo

changeset

urbanc [Fri, 12 Aug 2011 17:08:58 +0000] rev 195

small typo

Thu, 11 Aug 2011 23:42:06 +0000 some typos

changeset

urbanc [Thu, 11 Aug 2011 23:42:06 +0000] rev 194

some typos

Thu, 11 Aug 2011 23:11:39 +0000 finished section about derivatives and closure properties

changeset

urbanc [Thu, 11 Aug 2011 23:11:39 +0000] rev 193

finished section about derivatives and closure properties

Thu, 11 Aug 2011 16:55:41 +0000 two interesting papers

changeset

urbanc [Thu, 11 Aug 2011 16:55:41 +0000] rev 192

two interesting papers

Thu, 11 Aug 2011 10:26:19 +0000 slight polishing

changeset

urbanc [Thu, 11 Aug 2011 10:26:19 +0000] rev 191

slight polishing

Tue, 09 Aug 2011 22:15:11 +0000 more on paper

changeset

urbanc [Tue, 09 Aug 2011 22:15:11 +0000] rev 190