Fahad/MCG-CS/Code/While.kcl
author cu
Tue, 10 Oct 2017 11:31:47 +0100
changeset 279 f754a10875c7
parent 45 7545b1bc1514
permissions -rw-r--r--
updated for Isabelle 2017

var FirstNum = 10;
var SecondNum = 5;

while FirstNum > SecondNum do
	print FirstNum;

	FirstNum = FirstNum - 1;
endwhile;

print "Enter any number to continue";
read SecondNum;