source: src/common/FEMeasurable.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2669   7 years campbell Tweak exec_steps output; show that simulations extend to measurable …
(edit) @2668   7 years campbell Intermediate measurable proof check-in before I change its traces again.
(edit) @2644   7 years campbell Commit some work on FEMeasurable before trying to do something nicer …
(edit) @2618   7 years campbell Tidy up measurable a little.
(add) @2597   7 years campbell Some work in progress on measurable subtrace preservation.
Note: See TracRevisionLog for help on using the revision log.