public / ack.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f994b0b) | patch
Fixes: random did not work properly, and RealToString did not deal with
authorceriel <none@none>
Wed, 31 Jan 1990 11:01:53 +0000 (11:01 +0000)
committerceriel <none@none>
Wed, 31 Jan 1990 11:01:53 +0000 (11:01 +0000)
commit01829a42033ded445d16ece65190d75bd513b361
tree1529cdaed9eafab418238e5b559441a9ef7a3028tree | snapshot
parentf994b0bf84c4d5d6493dd5cfde885d8f5691fb3bcommit | diff
Fixes: random did not work properly, and RealToString did not deal with
numbers not fitting in the format given properly
lang/m2/libm2/RealConver.mod diff | blob | history
lang/m2/libm2/random.mod diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.