Skip to main content

Browse the archive

Revision 075c02141d8c0aeff9d01a8ad75876a2d8778771 authored by Peter Raback on 05 December 2023, 13:31:00 UTC, committed by Peter Raback on 05 December 2023, 13:31:00 UTC 
Make identification of similar elements more advanced by adding a vector pointing to the similar element. Still not used for anything.
1 parent 6bc9811
History
File Mode Size
hutidoc.dvi -rwxr-xr-x 35.9 KB
hutidoc.ps -rwxr-xr-x 103.6 KB
hutidoc.tex -rwxr-xr-x 23.4 KB
back to top