comparison src/reduce.sml @ 498:cbeb1683dc6a

Extend prose about server .exes
author Adam Chlipala <adamc@hcoop.net>
date Tue, 18 Nov 2008 13:47:23 -0500
parents ae03d09043c1
children 04053089878a
comparison
equal deleted inserted replaced
497:e30c135482b3 498:cbeb1683dc6a