Wed, 01 Feb 2012 12:00:37 +0000 slightly more on text
urbanc [Wed, 01 Feb 2012 12:00:37 +0000] rev 273
slightly more on text
Wed, 01 Feb 2012 08:16:00 +0000 All comments added.
zhang [Wed, 01 Feb 2012 08:16:00 +0000] rev 272
All comments added.
Mon, 30 Jan 2012 09:44:33 +0000 spell check
urbanc [Mon, 30 Jan 2012 09:44:33 +0000] rev 271
spell check
Mon, 30 Jan 2012 09:33:39 +0000 slight polishing
urbanc [Mon, 30 Jan 2012 09:33:39 +0000] rev 270
slight polishing
Mon, 30 Jan 2012 08:55:27 +0000 more text
urbanc [Mon, 30 Jan 2012 08:55:27 +0000] rev 269
more text
Mon, 30 Jan 2012 08:45:56 +0000 more text
urbanc [Mon, 30 Jan 2012 08:45:56 +0000] rev 268
more text
Mon, 30 Jan 2012 06:46:47 +0000 added two paragraphs to the introduction
urbanc [Mon, 30 Jan 2012 06:46:47 +0000] rev 267
added two paragraphs to the introduction
Sun, 29 Jan 2012 09:31:03 +0000 More explanations added by XY.
zhang [Sun, 29 Jan 2012 09:31:03 +0000] rev 266
More explanations added by XY.
Fri, 27 Jan 2012 23:19:10 +0000 changed abstract, intro and IsaMakefile
urbanc [Fri, 27 Jan 2012 23:19:10 +0000] rev 265
changed abstract, intro and IsaMakefile
Fri, 27 Jan 2012 13:50:02 +0000 Newer version.
zhang [Fri, 27 Jan 2012 13:50:02 +0000] rev 264
Newer version.
Tue, 24 Jan 2012 00:34:52 +0000 minor edit
urbanc [Tue, 24 Jan 2012 00:34:52 +0000] rev 263
minor edit
Tue, 24 Jan 2012 00:20:09 +0000 initial version of the PIP formalisation
urbanc [Tue, 24 Jan 2012 00:20:09 +0000] rev 262
initial version of the PIP formalisation
Mon, 26 Dec 2011 08:21:00 +0000 changed to 11 months
urbanc [Mon, 26 Dec 2011 08:21:00 +0000] rev 261
changed to 11 months
Thu, 22 Dec 2011 14:25:34 +0000 added a draft of the letter for Chunhan
urbanc [Thu, 22 Dec 2011 14:25:34 +0000] rev 260
added a draft of the letter for Chunhan
Sat, 17 Dec 2011 13:32:11 +0000 updated urls to AFP
urbanc [Sat, 17 Dec 2011 13:32:11 +0000] rev 259
updated urls to AFP
Sun, 20 Nov 2011 22:53:50 +0000 added slides for a talk in St Andrews
urbanc [Sun, 20 Nov 2011 22:53:50 +0000] rev 258
added slides for a talk in St Andrews
Fri, 11 Nov 2011 23:38:10 +0000 small change
urbanc [Fri, 11 Nov 2011 23:38:10 +0000] rev 257
small change
Thu, 15 Sep 2011 12:46:00 +0000 set -> language
urbanc [Thu, 15 Sep 2011 12:46:00 +0000] rev 256
set -> language
Wed, 14 Sep 2011 21:14:50 +0000 added a paper about applications
urbanc [Wed, 14 Sep 2011 21:14:50 +0000] rev 255
added a paper about applications
Wed, 14 Sep 2011 15:56:03 +0000 added paper that recently appeared about rexps and pegs
urbanc [Wed, 14 Sep 2011 15:56:03 +0000] rev 254
added paper that recently appeared about rexps and pegs
Wed, 14 Sep 2011 13:39:03 +0000 polished the non-regularity proof
urbanc [Wed, 14 Sep 2011 13:39:03 +0000] rev 253
polished the non-regularity proof
Wed, 14 Sep 2011 13:00:44 +0000 clarified proof about non-regularity
urbanc [Wed, 14 Sep 2011 13:00:44 +0000] rev 252
clarified proof about non-regularity
Wed, 14 Sep 2011 11:46:50 +0000 corrected typo found by Xingyuan
urbanc [Wed, 14 Sep 2011 11:46:50 +0000] rev 251
corrected typo found by Xingyuan
Tue, 13 Sep 2011 12:00:53 +0000 small typo
urbanc [Tue, 13 Sep 2011 12:00:53 +0000] rev 250
small typo
Mon, 12 Sep 2011 19:50:21 +0000 a final polishing before submitting later this week
urbanc [Mon, 12 Sep 2011 19:50:21 +0000] rev 249
a final polishing before submitting later this week
Thu, 08 Sep 2011 15:08:02 +0000 one more itteration on the paper
urbanc [Thu, 08 Sep 2011 15:08:02 +0000] rev 248
one more itteration on the paper
Wed, 07 Sep 2011 18:17:56 +0000 some more polishing and a link to Haines
urbanc [Wed, 07 Sep 2011 18:17:56 +0000] rev 247
some more polishing and a link to Haines
Wed, 07 Sep 2011 18:16:49 +0000 typos
urbanc [Wed, 07 Sep 2011 18:16:49 +0000] rev 246
typos
Wed, 07 Sep 2011 09:28:13 +0000 polished a bit the journal paper
urbanc [Wed, 07 Sep 2011 09:28:13 +0000] rev 245
polished a bit the journal paper
Tue, 06 Sep 2011 02:52:26 +0000 typo
urbanc [Tue, 06 Sep 2011 02:52:26 +0000] rev 244
typo
(0) -100 -50 -30 +30 +50 +100 tip