diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-31 14:20:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-31 14:20:16 +0000 |
commit | c4fc6624312392d6ca1d9f8fec61f6a3de5571b8 (patch) | |
tree | eba6979506d88b66f6a878ac79d82e15f249ed07 /lego/lego.el | |
parent | 3bbc2f082ba938f7b1ce7e920cacc6ac067ecd9f (diff) |
Commented out global-timing since it seems to be Isabelle99-1 specific.
Diffstat (limited to 'lego/lego.el')
0 files changed, 0 insertions, 0 deletions