Sat, 31 Jul 2010 23:32:05 +0200 Documentation of 'interpret' updated.
ballarin [Sat, 31 Jul 2010 23:32:05 +0200] rev 38110
Documentation of 'interpret' updated.
Sat, 31 Jul 2010 21:14:20 +0200 print_interps shows interpretations in proofs.
ballarin [Sat, 31 Jul 2010 21:14:20 +0200] rev 38109
print_interps shows interpretations in proofs.
Sat, 31 Jul 2010 21:14:20 +0200 Interpretation in proofs supports mixins.
ballarin [Sat, 31 Jul 2010 21:14:20 +0200] rev 38108
Interpretation in proofs supports mixins.
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip