Afp 2005 Log


Commit Date  
[5fdc19] (defaulttip) by gerwin.klein@nicta.com.au

close in-repos Isabelle2005 branch

2009-09-17 00:24:46 Tree
[627144] (Isabelle2005) by lsf37

use Isabelle2005 polyml 5.x patches

2007-09-29 08:56:51 Tree
[f40daa] by lsf37

explain how to use non-standard theories from the distribution

2007-09-02 09:05:45 Tree
[5b9298] by lsf37

link to devel version

2007-09-01 04:14:07 Tree
[1714d0] by lsf37

undo last change, it was rubbish. The Isabelle2005 version has its own settings files anyway.

2007-02-18 22:30:21 Tree
[a9cac2] by lsf37

choose different Isabelle settings depending on development/release version of
Isabelle. Isabelle2005 does not support the more stable polyml-5.0.

2007-02-17 09:52:15 Tree
[6948de] by lsf37

print hostname in log for failed tests

2006-12-19 09:56:47 Tree
[c1f85e] by lsf37

print host name in log

2006-11-18 05:55:05 Tree
[663bde] by lsf37

typo

2006-11-12 20:50:17 Tree
[63df45] by lsf37

make old version available

2006-11-09 22:42:09 Tree
[e57096] by lsf37

explain how to build on other articles

2006-11-09 22:38:42 Tree
[1c475d] by lsf37

typo

2006-11-09 22:36:41 Tree
[79159e] by lsf37

use rm -rf on browser_info to get rid of .svn stuff

2006-08-08 10:20:52 Tree
[969d1a] by lsf37

TOPLAS article appeared

2006-08-06 10:58:02 Tree
[54fa45] by lsf37

remove MAIN_NOTIFY from detailed failure emails

2006-06-28 00:56:22 Tree
[0a1ae9] by lsf37

fixed typo, migrated to new dir structure

2006-06-28 00:45:24 Tree
[43b056] by lsf37

removed testing comment

2006-06-20 22:13:14 Tree
[979e4a] by lsf37

pass -f option down to testall

2006-06-16 06:21:04 Tree
[32525b] by lsf37

-f option to test entries only when they are marked frequent

2006-06-15 04:12:13 Tree
[c7f39d] by lsf37

fix encoding

2006-06-15 04:11:41 Tree
[6ad846] by lsf37

added Isabelle favicon

2006-05-25 23:12:32 Tree
[30823c] by lsf37

obfuscated email addresses in thy files somewhat

2006-05-17 22:47:49 Tree
[1e6b12] by nipkow

*** empty log message ***

2006-05-16 11:04:57 Tree
[46a337] by nipkow

*** empty log message ***

2006-05-16 09:05:52 Tree
[4ce3cc] by nipkow

*** empty log message ***

2006-05-16 08:53:41 Tree
Older >

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks