Sorry for probably stupid question, but I can't find an answer. How to read an integer from user? read(N) requires user to end input with dot, read_line(N) returns a string, not an integer... Sergey.Received on Wed Sep 21 2011 - 17:22:27 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST