ent='cgit v1.2.3-70-g09d2'/>
summaryrefslogtreecommitdiff
path: root/.isabelle/etc/isar-keywords.el (unfollow)
Commit message (Collapse)AuthorFilesLines
2012-11-15Isar-KeywordsRené Neumann1-0/+674
2012-11-15Update hgshelve; enable hgext.transplantRené Neumann2-65/+47
2012-11-10Fix AKRené 'Necoro' Neumann1-1/+1
2012-11-07Small changes to our pass wrapperRené 'Necoro' Neumann1-2/+11