Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-repo
#69
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
avoid redundant escapes;
clarified treatment of fragments of Isabelle symbols during bootstrap;
clarified ML syntax for strings concerning UTF8;
tuned signature;
Changeset
62530:5499461a0203
by
wenzelm
:
avoid redundant escapes;
The file was modified
src/HOL/Tools/Quickcheck/narrowing_generators.ML
(diff)
Changeset
62529:8b7bdfc09f3b
by
wenzelm
:
clarified treatment of fragments of Isabelle symbols during bootstrap;
The file was modified
src/Pure/General/position.ML
(diff)
The file was modified
src/Pure/General/symbol.ML
(diff)
The file was modified
src/Pure/General/symbol_pos.ML
(diff)
The file was modified
src/Pure/Isar/parse.ML
(diff)
The file was modified
src/Pure/ML/ml_compiler0.ML
(diff)
The file was modified
src/Pure/Syntax/lexicon.ML
(diff)
The file was modified
src/Pure/Syntax/syntax_ext.ML
(diff)
The file was modified
src/Pure/Syntax/syntax_phases.ML
(diff)
The file was modified
src/Pure/Syntax/syntax_trans.ML
(diff)
The file was modified
src/Pure/Thy/html.ML
(diff)
The file was modified
src/Pure/Thy/markdown.ML
(diff)
The file was modified
src/Pure/library.ML
(diff)
The file was modified
src/Pure/pure_thy.ML
(diff)
The file was modified
src/Pure/term.ML
(diff)
Changeset
62528:c8c532b22947
by
wenzelm
:
clarified ML syntax for strings concerning UTF8;
The file was added
src/Pure/ML/ml_syntax.scala
The file was modified
src/Pure/General/symbol.scala
(diff)
The file was modified
src/Pure/ML/ml_syntax.ML
(diff)
The file was modified
src/Pure/build-jars
(diff)
Changeset
62527:aae9a2a855e0
by
wenzelm
:
tuned signature;
The file was modified
src/Pure/General/bytes.scala
(diff)
The file was modified
src/Pure/System/utf8.scala
(diff)
The file was modified
src/Tools/jEdit/src/isabelle_encoding.scala
(diff)