Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
All
isabelle-nightly-benchmark
#1534
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
treat Symbol.eof as in ML (but: presently unused);
tuned;
minor performance tuning;
clarified signature;
proper Isabelle symbol positions;
more Haskell operations;
clarified signature;
tuned;
tuned;
Changeset
74177:a8b032dede5c
by
wenzelm
:
treat Symbol.eof as in ML (but: presently unused);
The file was modified
src/Tools/Haskell/Haskell.thy
(diff)
Changeset
74176:b70714530045
by
wenzelm
:
tuned;
The file was modified
src/Pure/General/position.ML
(diff)
The file was modified
src/Tools/Haskell/Haskell.thy
(diff)
Changeset
74175:53e28c438f96
by
wenzelm
:
minor performance tuning;
The file was modified
src/Pure/General/symbol_pos.ML
(diff)
The file was modified
src/Pure/Isar/token.ML
(diff)
Changeset
74174:a3b0fc510705
by
wenzelm
:
clarified signature;
The file was modified
src/HOL/SPARK/Tools/fdl_lexer.ML
(diff)
The file was modified
src/Pure/General/position.ML
(diff)
The file was modified
src/Pure/General/symbol_pos.ML
(diff)
The file was modified
src/Pure/Isar/token.ML
(diff)
The file was modified
src/Pure/ML/ml_lex.ML
(diff)
The file was modified
src/Pure/Pure.thy
(diff)
The file was modified
src/Tools/Haskell/Haskell.thy
(diff)
Changeset
74173:8d03d548df1c
by
wenzelm
:
proper Isabelle symbol positions;
The file was modified
src/Tools/Haskell/Haskell.thy
(diff)
Changeset
74172:c576a4e2ffbc
by
wenzelm
:
more Haskell operations;
The file was modified
src/Tools/Haskell/Haskell.thy
(diff)
Changeset
74171:a9e79c3645c4
by
wenzelm
:
clarified signature;
The file was modified
src/HOL/SPARK/Tools/fdl_lexer.ML
(diff)
The file was modified
src/Pure/General/position.ML
(diff)
The file was modified
src/Pure/General/symbol_pos.ML
(diff)
The file was modified
src/Pure/Isar/token.ML
(diff)
The file was modified
src/Pure/ML/ml_lex.ML
(diff)
The file was modified
src/Pure/Pure.thy
(diff)
Changeset
74170:09d4175f473e
by
wenzelm
:
tuned;
The file was modified
src/Pure/General/symbol_explode.ML
(diff)
Changeset
74169:43fe7388458f
by
wenzelm
:
tuned;
The file was modified
src/Tools/Haskell/Haskell.thy
(diff)