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

Close

Afp 2003 Log


Commit Date  
[69143c] (defaulttip) by gerwin.klein@nicta.com.au

close in-repos Isabelle2003 branch

2009-09-17 00:25:48 Tree
[67334a] by convert-repo

update tags

2009-09-15 23:41:44 Tree
[59052c] (Isabelle2003) by lsf37

mention string 'template'

2004-03-30 22:32:08 Tree
[0d302d] by lsf37

fix links to afp-devel.tar.gz

2004-03-30 22:27:17 Tree
[fc9e19] by nipkow

creation

2004-03-30 10:35:10 Tree
[a94dcf] by nipkow

Added Functional Automata

2004-03-30 10:15:05 Tree
[73adb1] by nipkow

Used to be HOL/Lex

2004-03-30 10:09:13 Tree
[b0ef1a] by nipkow

This used to be HOL/Lex.

2004-03-30 10:02:27 Tree
[d52891] by lsf37

fixed

2004-03-29 07:18:56 Tree
[4016e2] by lsf37

add lgpl

2004-03-25 05:44:11 Tree
[f94f08] by lsf37

force CVS_RSH=ssh

2004-03-24 23:07:48 Tree
[c1d795] by lsf37

no -P for export

2004-03-23 06:47:35 Tree
[7c7d19] by lsf37

fixed name

2004-03-23 06:23:47 Tree
[f6ee6b] by lsf37

fixed MiniML entry

2004-03-23 06:15:12 Tree
[d7e743] by lsf37

fix latex output

2004-03-23 06:07:16 Tree
[1a6eac] by lsf37

fixed export

2004-03-22 22:11:17 Tree
[d23a47] by lsf37

new entry MiniML

2004-03-19 03:29:28 Tree
[926a13] by lsf37

initial sf checkin

2004-03-19 03:28:30 Tree
[43177d] by lsf37

generate devel snapshot

2004-03-19 00:37:37 Tree
[46c538] by lsf37

prune empty dirs in cvs checkout

2004-03-19 00:36:31 Tree
[637a44] by lsf37

use ISABELLE_RELEASES instead of ISABELLE_RELEASE

2004-03-19 00:20:38 Tree
[3836f8] by lsf37

fix AVL title

2004-03-19 00:15:41 Tree
[f42737] by lsf37

new entry: avl trees

2004-03-19 00:01:02 Tree
[26b03e] by lsf37

include devel snapshot

2004-03-19 00:00:42 Tree
[2dc433] by lsf37

initial sf checkin

2004-03-18 23:52:10 Tree
Older >