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

Read Only access


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