Mercurial
Mercurial
>
hg
>
regexp
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-120
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
key lemma
2012-02-14, by urbanc
fixed 1st paragraph
2012-02-14, by urbanc
1st paragraph
2012-02-14, by urbanc
1st paragraph
2012-02-13, by urbanc
polished implementation
2012-02-13, by urbanc
Line numbers added.
2012-02-13, by zhang
conclusion done
2012-02-13, by urbanc
more conclusion
2012-02-13, by urbanc
more conclusion
2012-02-13, by urbanc
more conclusion
2012-02-13, by urbanc
more conclusion
2012-02-13, by urbanc
some parts of the conclusion
2012-02-13, by urbanc
proof idea
2012-02-13, by urbanc
added implementation section
2012-02-13, by urbanc
merged Xingyuan's changes
2012-02-13, by urbanc
polished
2012-02-13, by urbanc
more on the paper
2012-02-13, by urbanc
more on the paper
2012-02-13, by urbanc
assumptions
2012-02-13, by urbanc
some polishing
2012-02-13, by urbanc
some polishing
2012-02-12, by urbanc
contribution section
2012-02-12, by urbanc
Correct a mistake.
2012-02-12, by zhang
runing_inversion_3 added.
2012-02-12, by zhang
lates
2012-02-12, by urbanc
correct RAG
2012-02-12, by urbanc
small polishing
2012-02-12, by urbanc
completed model section; vt has only state as argument
2012-02-12, by urbanc
added picture
2012-02-11, by urbanc
spell check; release
2012-02-11, by urbanc
fixed problem with back
2012-02-11, by urbanc
renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
2012-02-11, by urbanc
some polishing
2012-02-11, by urbanc
fixed problem with Latexsugar
2012-02-11, by urbanc
more on paper; modified schs functions; it is still compatible with the old definition
2012-02-10, by urbanc
more on paper
2012-02-10, by urbanc
attempt to fix problem by Xingyuan
2012-02-09, by urbanc
changes by Xingyuan
2012-02-09, by urbanc
more on the specification section
2012-02-09, by urbanc
corrections by Xingyuan
2012-02-08, by urbanc
more on paper
2012-02-07, by urbanc
more on paper
2012-02-07, by urbanc
paper updatated
2012-02-06, by urbanc
moved unused theories to Attic
2012-02-05, by urbanc
README added.
2012-02-05, by zhang
updated
2012-02-04, by urbanc
slight polishing
2012-02-04, by urbanc
a bit more on the introduction
2012-02-03, by urbanc
slight tuning
2012-02-02, by urbanc
more on intro
2012-02-01, by urbanc
more on intro
2012-02-01, by urbanc
more on intro
2012-02-01, by urbanc
slightly more on text
2012-02-01, by urbanc
All comments added.
2012-02-01, by zhang
spell check
2012-01-30, by urbanc
slight polishing
2012-01-30, by urbanc
more text
2012-01-30, by urbanc
more text
2012-01-30, by urbanc
added two paragraphs to the introduction
2012-01-30, by urbanc
More explanations added by XY.
2012-01-29, by zhang
changed abstract, intro and IsaMakefile
2012-01-27, by urbanc
Newer version.
2012-01-27, by zhang
minor edit
2012-01-24, by urbanc
initial version of the PIP formalisation
2012-01-24, by urbanc
changed to 11 months
2011-12-26, by urbanc
added a draft of the letter for Chunhan
2011-12-22, by urbanc
updated urls to AFP
2011-12-17, by urbanc
added slides for a talk in St Andrews
2011-11-20, by urbanc
small change
2011-11-11, by urbanc
set -> language
2011-09-15, by urbanc
added a paper about applications
2011-09-14, by urbanc
added paper that recently appeared about rexps and pegs
2011-09-14, by urbanc
polished the non-regularity proof
2011-09-14, by urbanc
clarified proof about non-regularity
2011-09-14, by urbanc
corrected typo found by Xingyuan
2011-09-14, by urbanc
small typo
2011-09-13, by urbanc
a final polishing before submitting later this week
2011-09-12, by urbanc
one more itteration on the paper
2011-09-08, by urbanc
some more polishing and a link to Haines
2011-09-07, by urbanc
typos
2011-09-07, by urbanc
polished a bit the journal paper
2011-09-07, by urbanc
typo
2011-09-06, by urbanc
more tuning on the proposal
2011-09-06, by urbanc
polished proposal
2011-09-06, by urbanc
tuning on the derivatives and closures theories
2011-09-05, by urbanc
added section about non-regularity
2011-09-05, by urbanc
polished SUBSEQ
2011-09-05, by urbanc
slight polishing to SUBSEQ
2011-09-05, by urbanc
slight polishing to SUBSEQ
2011-09-05, by urbanc
shortened
2011-09-05, by urbanc
some changes
2011-09-05, by urbanc
some changes
2011-09-05, by urbanc
added section about SUBSEQ and SUPSEQ
2011-09-05, by urbanc
Proposal paragraphs by Xingyuan completed (with references added).
2011-09-04, by zhang
removed the last two sorry's
2011-09-04, by urbanc
More modification by Xingyuan.
2011-09-02, by zhang
One passage added.
2011-09-02, by zhang
latest changes
2011-09-02, by urbanc
small change
2011-09-02, by urbanc
small improvement
2011-09-02, by urbanc
added a start for a proposal
2011-09-02, by urbanc
added example about non-regularity
2011-09-02, by urbanc
cleaned up proofs
2011-09-02, by urbanc
included Higman's lemma from the Isabelle repository
2011-09-01, by urbanc
solved the SUBSEQ/SUPSEQ problem
2011-09-01, by urbanc
added a further test
2011-08-30, by urbanc
corrected typo
2011-08-26, by urbanc
added a few points
2011-08-26, by urbanc
a few bits on the journal paper
2011-08-25, by urbanc
shown slides
2011-08-25, by urbanc
final polishing
2011-08-25, by urbanc
added pdf of slides
2011-08-24, by urbanc
final slides
2011-08-24, by urbanc
more slides
2011-08-24, by urbanc
more on slides
2011-08-24, by urbanc
just test
2011-08-24, by urbanc
added test for Higman's lemma
2011-08-23, by urbanc
more on slides
2011-08-23, by urbanc
more on the slides
2011-08-23, by urbanc
more on the slides
2011-08-23, by urbanc
less
more
|
(0)
-120
tip