aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/introduction.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-08-20 14:11:40 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-08-20 14:11:40 +0000
commit956801fcc2ac75fd4041f61619451d2935fa2598 (patch)
tree7eed97a30df7dc61bbc065a4921ee143d29f7291 /doc/manual/introduction.xml
parent624c48260f1b4eec86daa0da5f33d4cbb963a361 (diff)
* Use maps and sets in the FState data type. This ensures normalisation of
slices and derivations w.r.t. order of paths, slice elements, etc.
Diffstat (limited to 'doc/manual/introduction.xml')
0 files changed, 0 insertions, 0 deletions