summaryrefslogtreecommitdiff
path: root/math/proofgeneral/files/patch-isa_isabelle-system.el (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Update to 3.6Sergey Matveychuk2006-05-011-3/+3
* Fix build:Simon Barner2005-09-151-0/+13