CVS difference for ai12s/ai12-0025-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0025-1.txt

--- ai12s/ai12-0025-1.txt	2012/05/17 01:42:03	1.1
+++ ai12s/ai12-0025-1.txt	2012/12/05 04:18:26	1.2
@@ -1297,7 +1297,8 @@
 > interpreter of some sort. So what? We're talking about compilers and
 > code that can be verified for Ada; it's unclear that there is any
 > value to any other scheme for a language like Ada (if you want a real
-> dynamic language, something like Python is a better bet). At worst, I'm guilty of too narrow of a view.
+> dynamic language, something like Python is a better bet). At worst, I'm guilty
+>  of too narrow of a view.
 
 I don't think interpreters are relevant.  We're talking about interfacing to C,
 under the assumption that the C implementation isn't under control of the Ada

Questions? Ask the ACAA Technical Agent