Commit History

Author SHA1 Message Date
  werner 6db067a90f More work on holes: added documentation and Postscript output. 15 years ago
  werner 1dda2ac2ae When creating an object in the GUI, its label wasn't initialized. Added 15 years ago