Afp 2009 Log


Commit Date  
[a2e9ad] by nipkow

new

2009-10-30 13:16:27 Tree
[41387e] by nipkow

new

2009-10-30 13:10:49 Tree
[f851cb] by lsf37@users.sourceforge.net

use isabelle instead of isatool in 2009

2009-09-25 06:36:16 Tree
[002160] by lsf37@users.sourceforge.net

fix publish script

2009-09-25 06:21:01 Tree
[083281] by lsf37@sourcefore.net

remove meta tags for Generator

2009-09-23 23:17:38 Tree
[746411] by gerwin.klein@nicta.com.au

removed more cvs Id lines

2009-09-21 22:45:56 Tree
[3a1ba7] by gerwin.klein@nicta.com.au

new publish script for hg. Untested.

2009-09-21 22:44:56 Tree
[f7b80e] by gerwin.klein@nicta.com.au

autosync from release branch

2009-09-21 22:44:11 Tree
[fbbe20] by gerwin.klein@nicta.com.au

remove cvs Ids

2009-09-21 22:39:51 Tree
[261238] by gerwin.klein@nicta.com.au

removed CVS Id

2009-09-21 22:37:46 Tree
[52014a] by lsf37@sourcefore.net

new submission procedure with hg instead of cvs

2009-09-21 12:13:37 Tree
[e59cb3] by lsf37@sourcefore.net

removed obsolete directory naming rationale. All flexible now with mercurial.

2009-09-21 12:03:57 Tree
[0f74cf] by lsf37@sourcefore.net

more cvs -> mercurial doc adjustments

2009-09-21 12:00:18 Tree
[722b7f] by lsf37@sourcefore.net

more cvs -> mercurial updates in docs

2009-09-21 11:49:48 Tree
[d3ac57] by lsf37@sourcefore.net

replacing cvs links with mercurial links

2009-09-21 11:35:29 Tree
[1fda9b] by gerwin.klein@nicta.com.au

point to Mercurial instead of CVS

2009-09-21 02:51:42 Tree
[0bf4e8] by gerwin.klein@nicta.com.au

retire old cvs-sync

2009-09-21 02:35:36 Tree
[c65bad] by gerwin.klein@nicta.com.au

remove obsolete CVSROOT dir

2009-09-17 00:26:29 Tree
[b80ca0] by gerwin.klein@nicta.com.au

removed in-repos branch Isabelle2009, use default branch and cloned repos instead

2009-09-17 00:17:45 Tree
[bd128c] (Isabelle2009) by lsf37

publishing Simpl update, add link to old version

2009-09-11 21:51:31 Tree
[3c9cca] by lsf37

added ISSN

2009-09-11 21:46:41 Tree
[44c39d] by lsf37

pull Norbert's user guide update into release version

2009-09-11 21:42:00 Tree
[3be221] by nipkow

tuned abstract

2009-09-09 16:29:01 Tree
[ca89a2] by nipkow

*** empty log message ***

2009-09-07 12:58:34 Tree
[07054d] by nipkow

*** empty log message ***

2009-09-07 11:25:41 Tree
Older >