Check-in [58e9376a19]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Chante update-size to use a slightly smaller power than square root for size
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 58e9376a197642b3137292a875d8667c1b01acf1
User & Date: bernd 2019-09-05 20:39:08.612
Context
2019-09-06
15:12
Make presentations run under current MINOS2 check-in: 958b568710 user: bernd tags: trunk
2019-09-05
20:39
Chante update-size to use a slightly smaller power than square root for size check-in: 58e9376a19 user: bernd tags: trunk
2019-08-30
21:57
Fix disabling IPv6 check-in: 6ed16db24a user: bernd tags: trunk
Changes
Unified Diff Side-by-Side Diff Patch
Changes to gui.fs.