Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Tree [5dd878] default Isabelle2011-1 / admin /
History



File Date Author Commit
churn 2009-09-27 haftmann haftmann [3944d8] added churn script
devel-copy 2011-04-03 kleing kleing [7ea318] overwrite old status page, don't append to it
get-releases 2011-02-09 kleing kleing [b5679b] updated release dates
hg-sync 2011-02-10 kleing kleing [252e30] update release scripts to 2011
mail-attach 2010-07-14 gerwin.klein@nicta.com.au gerwin.klein@nicta.com.au [e3de73] send mail on Darwin as well
main-config 2011-03-04 kleing kleing [6ad2e7] move web snapshot generation into own file
make-web-devel 2011-04-03 kleing kleing [7ea318] overwrite old status page, don't append to it
mira.py 2011-09-21 bulwahn bulwahn [dc4c7e] changing configuration from AFP_complete to AFP...
mk_mira.py 2011-01-19 haftmann haftmann [a39c21] experimental script to build configuration file...
mkstatus.py 2011-04-03 kleing kleing [ca884a] generate status overview page in regression test
prepare-release 2011-03-23 kleing kleing [f474eb] do heap cleaning properly, fixed fail function
publish 2011-02-11 kleing kleing [81d050] stop being confused about my own syntax
regression 2011-04-03 kleing kleing [7ea318] overwrite old status page, don't append to it
report.pl 2010-12-02 kleing kleing [5f6ab8] properly report test status for new entries
sitegen 2011-02-10 kleing kleing [d2c415] pass options on to sitegen.py
sitegen.README 2010-07-03 kleing kleing [fdd6f6] updated documentation for new sitegen script, a...
sitegen.py 2011-03-27 kleing kleing [d8de13] generate an "all" target
status.tpl 2011-04-03 kleing kleing [ca884a] generate status overview page in regression test
testall 2011-08-30 haftmann haftmann [e6e03e] removed accidentally commited debug message
user-aliases 2009-09-27 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [1c511e] fixed typo