Wed, 28 Jul 2010 12:12:29 +0200 may use `int` in Isabelle runtime environment
haftmann [Wed, 28 Jul 2010 12:12:29 +0200] rev 38053
may use `int` in Isabelle runtime environment
Wed, 28 Jul 2010 14:09:56 +0200 dropped dead code
haftmann [Wed, 28 Jul 2010 14:09:56 +0200] rev 38052
dropped dead code
Wed, 28 Jul 2010 22:18:35 +0200 merged
blanchet [Wed, 28 Jul 2010 22:18:35 +0200] rev 38051
merged
Wed, 28 Jul 2010 19:42:11 +0200 make Mirabelle happy
blanchet [Wed, 28 Jul 2010 19:42:11 +0200] rev 38050
make Mirabelle happy
Wed, 28 Jul 2010 19:23:56 +0200 renamed environment variable
blanchet [Wed, 28 Jul 2010 19:23:56 +0200] rev 38049
renamed environment variable
Wed, 28 Jul 2010 19:07:34 +0200 updated component name
blanchet [Wed, 28 Jul 2010 19:07:34 +0200] rev 38048
updated component name
Wed, 28 Jul 2010 19:04:59 +0200 consequence of directory renaming
blanchet [Wed, 28 Jul 2010 19:04:59 +0200] rev 38047
consequence of directory renaming
Wed, 28 Jul 2010 19:01:34 +0200 rename directory
blanchet [Wed, 28 Jul 2010 19:01:34 +0200] rev 38046
rename directory
Wed, 28 Jul 2010 19:01:07 +0200 minor refactoring
blanchet [Wed, 28 Jul 2010 19:01:07 +0200] rev 38045
minor refactoring
Wed, 28 Jul 2010 18:54:18 +0200 minor refactoring
blanchet [Wed, 28 Jul 2010 18:54:18 +0200] rev 38044
minor refactoring
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip