Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -96 +96 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2011-09-06 urbanc polished proposal changeset | files
2011-09-05 urbanc tuning on the derivatives and closures theories changeset | files
2011-09-05 urbanc added section about non-regularity changeset | files
2011-09-05 urbanc polished SUBSEQ changeset | files
2011-09-05 urbanc slight polishing to SUBSEQ changeset | files
2011-09-05 urbanc slight polishing to SUBSEQ changeset | files
2011-09-05 urbanc shortened changeset | files
2011-09-05 urbanc some changes changeset | files
2011-09-05 urbanc some changes changeset | files
2011-09-05 urbanc added section about SUBSEQ and SUPSEQ changeset | files
2011-09-04 zhang Proposal paragraphs by Xingyuan completed (with references added). changeset | files
2011-09-04 urbanc removed the last two sorry's changeset | files
2011-09-02 zhang More modification by Xingyuan. changeset | files
2011-09-02 zhang One passage added. changeset | files
2011-09-02 urbanc latest changes changeset | files
2011-09-02 urbanc small change changeset | files
2011-09-02 urbanc small improvement changeset | files
2011-09-02 urbanc added a start for a proposal changeset | files
2011-09-02 urbanc added example about non-regularity changeset | files
2011-09-02 urbanc cleaned up proofs changeset | files
2011-09-01 urbanc included Higman's lemma from the Isabelle repository changeset | files
2011-09-01 urbanc solved the SUBSEQ/SUPSEQ problem changeset | files
2011-08-30 urbanc added a further test changeset | files
2011-08-26 urbanc corrected typo changeset | files
2011-08-26 urbanc added a few points changeset | files
2011-08-25 urbanc a few bits on the journal paper changeset | files
2011-08-25 urbanc shown slides changeset | files
2011-08-25 urbanc final polishing changeset | files
2011-08-24 urbanc added pdf of slides changeset | files
2011-08-24 urbanc final slides changeset | files
2011-08-24 urbanc more slides changeset | files
2011-08-24 urbanc more on slides changeset | files
2011-08-24 urbanc just test changeset | files
2011-08-23 urbanc added test for Higman's lemma changeset | files
2011-08-23 urbanc more on slides changeset | files
2011-08-23 urbanc more on the slides changeset | files
2011-08-23 urbanc more on the slides changeset | files
2011-08-23 urbanc forgotten file changeset | files
2011-08-23 urbanc beginnig of the slides (not yet finished) changeset | files
2011-08-22 urbanc changes according to afp-submission changeset | files
2011-08-19 urbanc two more literature changeset | files
2011-08-19 urbanc added comments by Xingyuan changeset | files
2011-08-17 urbanc added an example for non-regularity and continuation lemma (the example does not yet work) changeset | files
2011-08-17 urbanc a little tuning changeset | files
2011-08-16 urbanc final(?) version of the paper changeset | files
2011-08-15 urbanc a bit more polishing changeset | files
2011-08-15 urbanc polishing of the closure section and conclusion changeset | files
2011-08-12 urbanc small typo changeset | files
2011-08-11 urbanc some typos changeset | files
2011-08-11 urbanc finished section about derivatives and closure properties changeset | files
2011-08-11 urbanc two interesting papers changeset | files
2011-08-11 urbanc slight polishing changeset | files
2011-08-09 urbanc more on paper changeset | files
2011-08-09 urbanc more on paper and literature changeset | files
2011-08-05 urbanc added paper on partial derivatives changeset | files
2011-08-05 urbanc more on the derivatives section changeset | files
2011-08-03 urbanc added more to the derivatives section changeset | files
2011-08-03 urbanc completed the taging-function section changeset | files
2011-08-03 urbanc more on the paper changeset | files
2011-08-03 urbanc cleaned up the proofs in Myhill_2 changeset | files
2011-08-02 urbanc a version of the proof which dispenses with the notion of string-subtraction changeset | files
2011-07-31 urbanc some experiments with the proofs in Myhill_2 changeset | files
2011-07-28 urbanc added a picture changeset | files
2011-07-28 urbanc small improvements changeset | files
2011-07-28 urbanc added more examles changeset | files
2011-07-28 urbanc more one the paper changeset | files
2011-07-27 urbanc latest version of the journal paper changeset | files
2011-07-27 urbanc polished the introduction changeset | files
2011-07-26 urbanc more on the section about derivatives changeset | files
2011-07-26 urbanc more on the introduction of the journal paper changeset | files
2011-07-25 urbanc more on the journal paper changeset | files
2011-07-25 urbanc added a paper about PEG-parsing and left recursion changeset | files
2011-07-25 urbanc made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic changeset | files
2011-06-03 zhang added boolean grammar changeset | files
2011-06-03 zhang added changeset | files
2011-06-02 urbanc added a journal version changeset | files
2011-06-02 urbanc updated theories and itp-paper changeset | files
2011-05-31 urbanc added missing file changeset | files
2011-05-29 urbanc added old paper changeset | files
2011-05-26 urbanc a few more literature places changeset | files
2011-05-18 urbanc added directory for journal version; took uptodate version of the theory files changeset | files
2011-05-12 urbanc preparation for final paper version changeset | files
2011-05-09 urbanc added comments from Chunhan changeset | files
2011-05-04 urbanc edits; sqeezed to 16 pages changeset | files
2011-04-28 urbanc paper about formalising parsing; seems to have done what we would like to do....probably also appears at ITP'11 changeset | files
2011-04-21 urbanc a small change changeset | files
2011-04-21 urbanc a few more changes changeset | files
2011-04-19 urbanc removed experimental code from Matcher changeset | files
2011-04-19 urbanc implemented most suggestions from the reviewers changeset | files
2011-04-06 urbanc added literature about parsing changeset | files
2011-03-25 urbanc MN via partial derivatives changeset | files
2011-03-23 urbanc moved paper to correct place changeset | files
2011-03-23 urbanc added paper by Antimirov changeset | files
2011-03-23 urbanc added the most current versions of the theories. changeset | files
2011-03-15 urbanc correct version changeset | files
2011-03-15 urbanc deleted wrong version changeset | files
(0) -100 -96 +96 +100 tip
regexp