diff options
Diffstat (limited to 'ic-reals-6.3/doc/implementation-notes/README')
-rw-r--r-- | ic-reals-6.3/doc/implementation-notes/README | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ic-reals-6.3/doc/implementation-notes/README b/ic-reals-6.3/doc/implementation-notes/README new file mode 100644 index 0000000..b70ba06 --- /dev/null +++ b/ic-reals-6.3/doc/implementation-notes/README @@ -0,0 +1,2 @@ +This directory will eventually contain documents describing the +implementation. Regretfully, most are incomplete at present. |