Mercurial
Mercurial
>
hg
>
isabelle-cookbook
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-16
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2019-06-16
Christian Urban
updated testboard section
default
tip
changeset
|
files
2019-06-11
Christian Urban
pdf
changeset
|
files
2019-06-11
Christian Urban
minor updated
changeset
|
files
2019-05-22
Christian Urban
updated pdf-document
changeset
|
files
2019-05-22
Christian Urban
small typo
changeset
|
files
2019-05-22
Norbert Schirmer
fixing some Line references
changeset
|
files
2019-05-22
Norbert Schirmer
polish document
changeset
|
files
2019-05-21
Norbert Schirmer
accomodate to upcoming Isabelle 2019
changeset
|
files
2019-05-21
Norbert Schirmer
prefer more result checking in ML antiquotations
changeset
|
files
2019-05-17
Norbert Schirmer
reactivated Readme.thy for authors
changeset
|
files
2019-05-17
Norbert Schirmer
ommit cartouche while displaying ML
changeset
|
files
2019-05-17
Norbert Schirmer
prefer cartouches over " in ML antiquotations
changeset
|
files
2019-05-17
Norbert Schirmer
adding to "how to understand code"
changeset
|
files
2019-05-16
Norbert Schirmer
tuned ML-antiquotations; added intro portions.
changeset
|
files
2019-05-14
Norbert Schirmer
tuned parser for patterns in ML_response... antiquotations
changeset
|
files
2019-05-14
Norbert Schirmer
isabelle update_cartouches -t
changeset
|
files
Loading...
(0)
-300
-100
-16
tip