Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
afp-repo
#835
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
merged from afp-2016-1
Constructor Functions: website
new entry: Constructor Functions
Lazy_Case: website
new entry: Laze_Case
fixed typo
Changeset
7820:e5e32cf838a8
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
merged from afp-2016-1
Changeset
7819:8b7941d46764
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
Constructor Functions: website
The file was added
web/entries/Constructor_Funs.shtml
The file was modified
metadata/metadata
(diff)
The file was modified
web/index.shtml
(diff)
The file was modified
web/rss.xml
(diff)
The file was modified
web/statistics.shtml
(diff)
The file was modified
web/topics.shtml
(diff)
Changeset
7818:ca305753982e
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
new entry: Constructor Functions
The file was added
thys/Constructor_Funs/Constructor_Funs.thy
The file was added
thys/Constructor_Funs/ROOT
The file was added
thys/Constructor_Funs/Test_Constructor_Funs.thy
The file was added
thys/Constructor_Funs/constructor_funs.ML
The file was added
thys/Constructor_Funs/document/root.tex
The file was modified
thys/ROOTS
(diff)
Changeset
7817:ca59346ca1bf
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
Lazy_Case: website
The file was added
web/entries/Lazy_Case.shtml
The file was modified
metadata/metadata
(diff)
The file was modified
web/index.shtml
(diff)
The file was modified
web/rss.xml
(diff)
The file was modified
web/statistics.shtml
(diff)
The file was modified
web/topics.shtml
(diff)
Changeset
7816:4140a811752a
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
new entry: Laze_Case
The file was added
thys/Lazy_Case/Lazy_Case.thy
The file was added
thys/Lazy_Case/ROOT
The file was added
thys/Lazy_Case/Test_Lazy_Case.thy
The file was added
thys/Lazy_Case/document/root.tex
The file was added
thys/Lazy_Case/lazy_case.ML
The file was modified
thys/ROOTS
(diff)
Changeset
7815:eb201abd3fc8
by
rene thiemann _rene.thiemann@uibk.ac.at_
:
fixed typo
The file was modified
thys/Subresultants/ROOT
(diff)