urbanc [Sun, 12 Feb 2012 11:30:17 +0000] rev 300
correct RAG
urbanc [Sun, 12 Feb 2012 05:06:59 +0000] rev 299
small polishing
urbanc [Sun, 12 Feb 2012 04:45:20 +0000] rev 298
completed model section; vt has only state as argument
urbanc [Sat, 11 Feb 2012 19:39:50 +0000] rev 297
added picture
urbanc [Sat, 11 Feb 2012 12:29:52 +0000] rev 296
spell check; release
urbanc [Sat, 11 Feb 2012 10:09:39 +0000] rev 295
fixed problem with back
urbanc [Sat, 11 Feb 2012 09:34:46 +0000] rev 294
renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
urbanc [Sat, 11 Feb 2012 09:14:14 +0000] rev 293
some polishing
urbanc [Sat, 11 Feb 2012 08:16:11 +0000] rev 292
fixed problem with Latexsugar
urbanc [Fri, 10 Feb 2012 21:01:03 +0000] rev 291
more on paper; modified schs functions; it is still compatible with the old definition
urbanc [Fri, 10 Feb 2012 11:30:47 +0000] rev 290
more on paper
urbanc [Thu, 09 Feb 2012 16:34:18 +0000] rev 289
attempt to fix problem by Xingyuan
urbanc [Thu, 09 Feb 2012 15:00:19 +0000] rev 288
changes by Xingyuan
urbanc [Thu, 09 Feb 2012 13:05:51 +0000] rev 287
more on the specification section
urbanc [Wed, 08 Feb 2012 16:35:49 +0000] rev 286
corrections by Xingyuan
urbanc [Tue, 07 Feb 2012 01:10:34 +0000] rev 285
more on paper
urbanc [Tue, 07 Feb 2012 00:50:23 +0000] rev 284
more on paper
urbanc [Mon, 06 Feb 2012 12:08:35 +0000] rev 283
paper updatated
urbanc [Sun, 05 Feb 2012 21:00:12 +0000] rev 282
moved unused theories to Attic
zhang [Sun, 05 Feb 2012 14:29:08 +0000] rev 281
README added.
urbanc [Sat, 04 Feb 2012 22:56:14 +0000] rev 280
updated
urbanc [Sat, 04 Feb 2012 00:14:41 +0000] rev 279
slight polishing
urbanc [Fri, 03 Feb 2012 11:26:11 +0000] rev 278
a bit more on the introduction
urbanc [Thu, 02 Feb 2012 13:58:16 +0000] rev 277
slight tuning
urbanc [Wed, 01 Feb 2012 17:46:36 +0000] rev 276
more on intro
urbanc [Wed, 01 Feb 2012 17:40:00 +0000] rev 275
more on intro
urbanc [Wed, 01 Feb 2012 15:00:17 +0000] rev 274
more on intro
urbanc [Wed, 01 Feb 2012 12:00:37 +0000] rev 273
slightly more on text
zhang [Wed, 01 Feb 2012 08:16:00 +0000] rev 272
All comments added.
urbanc [Mon, 30 Jan 2012 09:44:33 +0000] rev 271
spell check
urbanc [Mon, 30 Jan 2012 09:33:39 +0000] rev 270
slight polishing
urbanc [Mon, 30 Jan 2012 08:55:27 +0000] rev 269
more text
urbanc [Mon, 30 Jan 2012 08:45:56 +0000] rev 268
more text
urbanc [Mon, 30 Jan 2012 06:46:47 +0000] rev 267
added two paragraphs to the introduction
zhang [Sun, 29 Jan 2012 09:31:03 +0000] rev 266
More explanations added by XY.
urbanc [Fri, 27 Jan 2012 23:19:10 +0000] rev 265
changed abstract, intro and IsaMakefile
zhang [Fri, 27 Jan 2012 13:50:02 +0000] rev 264
Newer version.
urbanc [Tue, 24 Jan 2012 00:34:52 +0000] rev 263
minor edit
urbanc [Tue, 24 Jan 2012 00:20:09 +0000] rev 262
initial version of the PIP formalisation
urbanc [Mon, 26 Dec 2011 08:21:00 +0000] rev 261
changed to 11 months
urbanc [Thu, 22 Dec 2011 14:25:34 +0000] rev 260
added a draft of the letter for Chunhan
urbanc [Sat, 17 Dec 2011 13:32:11 +0000] rev 259
updated urls to AFP
urbanc [Sun, 20 Nov 2011 22:53:50 +0000] rev 258
added slides for a talk in St Andrews
urbanc [Fri, 11 Nov 2011 23:38:10 +0000] rev 257
small change
urbanc [Thu, 15 Sep 2011 12:46:00 +0000] rev 256
set -> language
urbanc [Wed, 14 Sep 2011 21:14:50 +0000] rev 255
added a paper about applications
urbanc [Wed, 14 Sep 2011 15:56:03 +0000] rev 254
added paper that recently appeared about rexps and pegs
urbanc [Wed, 14 Sep 2011 13:39:03 +0000] rev 253
polished the non-regularity proof
urbanc [Wed, 14 Sep 2011 13:00:44 +0000] rev 252
clarified proof about non-regularity
urbanc [Wed, 14 Sep 2011 11:46:50 +0000] rev 251
corrected typo found by Xingyuan
urbanc [Tue, 13 Sep 2011 12:00:53 +0000] rev 250
small typo
urbanc [Mon, 12 Sep 2011 19:50:21 +0000] rev 249
a final polishing before submitting later this week
urbanc [Thu, 08 Sep 2011 15:08:02 +0000] rev 248
one more itteration on the paper
urbanc [Wed, 07 Sep 2011 18:17:56 +0000] rev 247
some more polishing and a link to Haines
urbanc [Wed, 07 Sep 2011 18:16:49 +0000] rev 246
typos
urbanc [Wed, 07 Sep 2011 09:28:13 +0000] rev 245
polished a bit the journal paper
urbanc [Tue, 06 Sep 2011 02:52:26 +0000] rev 244
typo
urbanc [Tue, 06 Sep 2011 02:48:51 +0000] rev 243
more tuning on the proposal
urbanc [Tue, 06 Sep 2011 02:35:10 +0000] rev 242
polished proposal
urbanc [Mon, 05 Sep 2011 20:59:50 +0000] rev 241
tuning on the derivatives and closures theories