aboutsummaryrefslogtreecommitdiffhomepage
path: root/lclam
Commit message (Collapse)AuthorAge
* Clean whitespaceGravatar David Aspinall2009-09-05
|
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
|
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
|
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
|
* Remove/fix some junkGravatar David Aspinall2004-04-02
|
* remove spurious (interactive)Gravatar David Aspinall2004-03-01
|
* FixGravatar David Aspinall2004-03-01
|
* Bug in thy-add-menus declarationGravatar David Aspinall2004-03-01
|
* New files.Gravatar David Aspinall2002-09-04
|
* Remove proof-shared-menu.Gravatar David Aspinall2002-08-08
|
* New files.Gravatar David Aspinall2002-08-07