Mercurial Mercurial > hg > lexing / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -50 -30 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
20 months ago Chengsong more explanation for the name "closed form" and their intuition changeset | files
20 months ago Chengsong more changeset | files
20 months ago Chengsong overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms" changeset | files
20 months ago Chengsong addresses Gerog "N_r meaning and relation with backtracking?" comment changeset | files
20 months ago Chengsong Addressed Gerog "can't understand 'erase messes with structure'" comment changeset | files
20 months ago Chengsong finished 4.3.2 section explaining why lemma 11 is too strong changeset | files
20 months ago Chengsong Fixed some annotated/unannotated a/r notation inconsistencies. changeset | files
20 months ago Chengsong reordered sections to make chapter 4 more coherent changeset | files
20 months ago Chengsong updated 4.2 diagram changeset | files
20 months ago Chengsong more changeset | files
20 months ago Chengsong more updates in section 4.2 and incorporating Christian comments changeset | files
20 months ago Chengsong more changeset | files
21 months ago Chengsong more changeset | files
21 months ago Chengsong more changeset | files
21 months ago Chengsong more changeset | files
22 months ago Chengsong new amend changeset | files
22 months ago Chengsong changes from Christian changeset | files
22 months ago Chengsong intro changeset | files
2023-03-13 Christian Urban added Asperti paper changeset | files
2023-02-23 Christian Urban updated changeset | files
2023-02-20 Christian Urban updated changeset | files
2023-02-16 Christian Urban updated changeset | files
2023-02-15 Christian Urban updated changeset | files
2022-12-30 Chengsong more proofreading done, last version before submission changeset | files
2022-12-30 Chengsong until chap 7 changeset | files
2022-12-30 Chengsong comments till chap4 changeset | files
2022-12-24 Chengsong more changeset | files
2022-12-23 Chengsong chap 1 all incorporated changeset | files
2022-12-20 Chengsong more changeset | files
2022-12-18 Chengsong more changeset | files
(0) -300 -100 -50 -30 tip
lexing