Version Control and Registration for CASL Libraries

Till Mossakowski1

29 September 1998

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.

Abstract

We give a motivation for CASL's library version numbers and library referencing mechanism, and discuss some problems of version management for CASL libraries.

Full Contents

  • 1 Version control
  • 2 Registration
  • 2.1 The third party problem
  • 2.2 Garbage collection
  • 3 Direct and indirect links to libraries
  • References
  • Footnotes
    • CoFI Note: M-5 -- Version: 1.0 -- 29 September 1998.
    Comments to till@informatik.uni-bremen.de