Mercurial Mercurial > hg > tm2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2014-09-13 Christian Urban deleted *~ files default tip changeset | files
2014-09-13 Xingyuan Zhang thys2 added changeset | files
2014-09-11 ibm-PC\ibm new change changeset | files
2014-09-11 ibm-PC\ibm good changeset | files
2014-05-30 Christian Urban merged changeset | files
2014-05-20 wuc test if can write changeset | files
2014-05-30 Christian Urban soem more work changeset | files
2014-04-29 Christian Urban added FMap theory and adapted tm-theory changeset | files
2014-04-04 Christian Urban deleted AList theory, which is not necessary changeset | files
2014-04-03 Christian Urban added a version using finfuns changeset | files
2014-04-03 Christian Urban added an attempt to change TMs to use FinFuns. changeset | files
2014-04-03 Christian Urban recursive function theories / UF_rec still need coding of tapes and programs changeset | files
2014-04-03 Christian Urban some comments changeset | files
2014-03-27 Christian Urban added some comments changeset | files
2014-03-27 Christian Urban some minor changes changeset | files
2014-03-27 Christian Urban moved some lemmas changeset | files
2014-03-25 Christian Urban added a stub for a paper changeset | files
2014-03-24 Christian Urban small modifications changeset | files
2014-03-24 Christian Urban some small modifications changeset | files
2014-03-21 Christian Urban added files to ROOT changeset | files
2014-03-21 Christian Urban updated various files to Isabelle-2013-2 changeset | files
2014-03-21 Christian Urban minor changes changeset | files
2014-03-21 ibm A new file changeset | files
2014-03-19 Christian Urban some tiny changes (does not affect anything else) changeset | files
2014-03-13 Christian Urban added original Separation_Algebra theory changeset | files
2014-03-06 Christian Urban version for Isabelle 2013-2 changeset | files
2014-03-06 Christian Urban initial commit for Isabelle 2013-1 changeset | files
No more entries
(0) tip
tm2