diff options
| author | David Aspinall | 1998-10-23 11:46:58 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-23 11:46:58 +0000 |
| commit | 261cc96a0f531e6b85821620856491abd858b82d (patch) | |
| tree | 4d8136e9ee76f2f01135334b9a1157b539c11124 /etc/lego | |
| parent | 23b8469cd25624e050ec75d9807bad0aa31d0b7f (diff) | |
Added support for locking Isabelle .thy files blue.
Diffstat (limited to 'etc/lego')
0 files changed, 0 insertions, 0 deletions