Tue, 09 Jan 2007 15:49:39 +0100 simplified the resoution proofs
paulson [Tue, 09 Jan 2007 15:49:39 +0100] rev 22043
simplified the resoution proofs
Tue, 09 Jan 2007 12:12:00 +0100 Cleanup message model: add info fatality level. Add informfileoutdated and some use of completed flag.
aspinall [Tue, 09 Jan 2007 12:12:00 +0100] rev 22042
Cleanup message model: add info fatality level. Add informfileoutdated and some use of completed flag.
Tue, 09 Jan 2007 12:09:49 +0100 Add info fatality for error messages.
aspinall [Tue, 09 Jan 2007 12:09:49 +0100] rev 22041
Add info fatality for error messages.
Tue, 09 Jan 2007 12:09:21 +0100 Add informfileoutdated and completed flag. This makes the PGIP messages match the Broker states.
aspinall [Tue, 09 Jan 2007 12:09:21 +0100] rev 22040
Add informfileoutdated and completed flag. This makes the PGIP messages match the Broker states.
Tue, 09 Jan 2007 08:32:50 +0100 slight cleanups
haftmann [Tue, 09 Jan 2007 08:32:50 +0100] rev 22039
slight cleanups
Tue, 09 Jan 2007 08:31:54 +0100 improved names
haftmann [Tue, 09 Jan 2007 08:31:54 +0100] rev 22038
improved names
Tue, 09 Jan 2007 08:31:52 +0100 proper node names
haftmann [Tue, 09 Jan 2007 08:31:52 +0100] rev 22037
proper node names
Tue, 09 Jan 2007 08:31:51 +0100 slight cleanup
haftmann [Tue, 09 Jan 2007 08:31:51 +0100] rev 22036
slight cleanup
Tue, 09 Jan 2007 08:31:50 +0100 improved variable name handling
haftmann [Tue, 09 Jan 2007 08:31:50 +0100] rev 22035
improved variable name handling
Tue, 09 Jan 2007 08:31:49 +0100 moved variable environments here
haftmann [Tue, 09 Jan 2007 08:31:49 +0100] rev 22034
moved variable environments here
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip