Skip to content
Snippets Groups Projects
Commit 81cb7522 authored by sof's avatar sof
Browse files

[project @ 1997-08-02 21:37:07 by sof]

wibble
parent 753c0464
No related merge requests found
......@@ -85,6 +85,7 @@ module Id (
-- PRINTING and RENUMBERING
pprId,
-- pprIdInUnfolding,
showId,
-- Specialialisation
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment