The sound distributed version control system

Cleaning up the literate programming bits

Initially, libpijul was written along with proofs of correctness for the algorithms. Unfortunately, that turned debugging into a nightmare, since as files grew, it became very tedious to match line numbers from the backtrace with line numbers in the literate source.

Created by  pmeunier  on December 15, 2020
Change contents