Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Admin/isatest-check
2005-12-01
kleing
typo
file
|
diff
|
annotate
2005-11-25
kleing
send more information with test-takes-too-long message
file
|
diff
|
annotate
2005-10-14
isatest
longer time out for test (kleing)
file
|
diff
|
annotate
2005-06-24
kleing
shortened time out by 3h (gives up at 12:00h now).
file
|
diff
|
annotate
2005-06-20
kleing
fix 'give up waiting message' (logs of running processes are not attached)
file
|
diff
|
annotate
2005-06-11
wenzelm
fixed spelling;
file
|
diff
|
annotate
2005-06-02
kleing
reduced timeout, send logs also when test taking too long
file
|
diff
|
annotate
2005-05-26
kleing
put global isatest settings in one file, sourced by the other scripts
file
|
diff
|
annotate
2005-05-08
wenzelm
MAILTO: makarius@sketis.net
file
|
diff
|
annotate
2005-04-30
isatest
export DISTPREFIX to devel page Makefile
file
|
diff
|
annotate
2005-04-29
kleing
move isadist to ~/tmp/
file
|
diff
|
annotate
2004-06-21
kleing
Merged in license change from Isabelle2004
file
|
diff
|
annotate
2003-08-27
skalberg
Added skalberg to recepients, changed admin from kleing to berghofe.
file
|
diff
|
annotate
2003-05-18
kleing
fix typo
file
|
diff
|
annotate
2003-05-18
kleing
attach log files
file
|
diff
|
annotate
2003-05-18
kleing
attach log files
file
|
diff
|
annotate
2003-05-09
kleing
only make development snapshots for successful tests
file
|
diff
|
annotate
2003-05-09
kleing
fixes
file
|
diff
|
annotate
2003-05-09
kleing
var/run -> var/running
file
|
diff
|
annotate
2003-05-09
kleing
typo
file
|
diff
|
annotate
2003-05-09
kleing
check for error log, send mail if exists
file
|
diff
|
annotate
less
more
(0)
tip