From e614634b1fc2315410bd23ac19abc650186056c5 Mon Sep 17 00:00:00 2001 From: letouzey Date: Tue, 6 Sep 2011 14:04:06 +0000 Subject: test-suite/ide: misc improvement - make clean really erases *.log - some missing \n at end of files git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14460 85f007b7-540e-0410-9357-904b9bb8a0f7 --- test-suite/ide/undo001.fake | 2 +- test-suite/ide/undo002.fake | 2 +- test-suite/ide/undo007.fake | 2 +- test-suite/ide/undo008.fake | 2 +- test-suite/ide/undo013.fake | 2 +- test-suite/ide/undo014.fake | 2 +- test-suite/ide/undo015.fake | 2 +- test-suite/ide/undo016.fake | 2 +- test-suite/ide/undo017.fake | 2 +- test-suite/ide/undo018.fake | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) (limited to 'test-suite/ide') diff --git a/test-suite/ide/undo001.fake b/test-suite/ide/undo001.fake index 9e54f4f08..bbaea7e7e 100644 --- a/test-suite/ide/undo001.fake +++ b/test-suite/ide/undo001.fake @@ -7,4 +7,4 @@ INTERP Definition foo := 0. INTERP Definition bar := 1. REWIND 1 INTERPRAW Check foo. -INTERPRAW Fail Check bar. \ No newline at end of file +INTERPRAW Fail Check bar. diff --git a/test-suite/ide/undo002.fake b/test-suite/ide/undo002.fake index 36a0e8982..b855b6ea7 100644 --- a/test-suite/ide/undo002.fake +++ b/test-suite/ide/undo002.fake @@ -7,4 +7,4 @@ INTERP Definition foo := 0. INTERP Definition bar := 1. REWIND 2 INTERPRAW Fail Check foo. -INTERPRAW Fail Check bar. \ No newline at end of file +INTERPRAW Fail Check bar. diff --git a/test-suite/ide/undo007.fake b/test-suite/ide/undo007.fake index 3b2ca2b6b..87c06dbb3 100644 --- a/test-suite/ide/undo007.fake +++ b/test-suite/ide/undo007.fake @@ -14,4 +14,4 @@ INTERP Definition f := O. INTERP assert True by trivial. INTERP trivial. INTERP Qed. -INTERPRAW Check e. \ No newline at end of file +INTERPRAW Check e. diff --git a/test-suite/ide/undo008.fake b/test-suite/ide/undo008.fake index 799dc1ac1..1c46c1e87 100644 --- a/test-suite/ide/undo008.fake +++ b/test-suite/ide/undo008.fake @@ -15,4 +15,4 @@ INTERP Definition j := O. INTERP assert True by trivial. INTERP trivial. INTERP Qed. -INTERPRAW Check i. \ No newline at end of file +INTERPRAW Check i. diff --git a/test-suite/ide/undo013.fake b/test-suite/ide/undo013.fake index def2da59e..3b1c61e66 100644 --- a/test-suite/ide/undo013.fake +++ b/test-suite/ide/undo013.fake @@ -28,4 +28,4 @@ INTERP apply H. # INTERP Qed. INTERPRAW Fail idtac. -INTERPRAW Check (aa,bb,cc). \ No newline at end of file +INTERPRAW Check (aa,bb,cc). diff --git a/test-suite/ide/undo014.fake b/test-suite/ide/undo014.fake index 60897c652..5224b5045 100644 --- a/test-suite/ide/undo014.fake +++ b/test-suite/ide/undo014.fake @@ -23,4 +23,4 @@ INTERP Qed. INTERP apply H. INTERP Qed. INTERPRAW Fail idtac. -INTERPRAW Check (aa,bb,cc). \ No newline at end of file +INTERPRAW Check (aa,bb,cc). diff --git a/test-suite/ide/undo015.fake b/test-suite/ide/undo015.fake index 2bf391051..32e46ec9a 100644 --- a/test-suite/ide/undo015.fake +++ b/test-suite/ide/undo015.fake @@ -26,4 +26,4 @@ INTERP Qed. INTERP apply H. INTERP Qed. INTERPRAW Fail idtac. -INTERPRAW Check (aa,bb,cc). \ No newline at end of file +INTERPRAW Check (aa,bb,cc). diff --git a/test-suite/ide/undo016.fake b/test-suite/ide/undo016.fake index bbc4c578c..2a6e512cb 100644 --- a/test-suite/ide/undo016.fake +++ b/test-suite/ide/undo016.fake @@ -31,4 +31,4 @@ INTERP Qed. INTERP apply H. INTERP Qed. INTERPRAW Fail idtac. -INTERPRAW Check (aa,bb,cc). \ No newline at end of file +INTERPRAW Check (aa,bb,cc). diff --git a/test-suite/ide/undo017.fake b/test-suite/ide/undo017.fake index e5baf6ca6..232360e9d 100644 --- a/test-suite/ide/undo017.fake +++ b/test-suite/ide/undo017.fake @@ -10,4 +10,4 @@ REWIND 1 # INTERP End M. # -INTERPRAW Check M.x. \ No newline at end of file +INTERPRAW Check M.x. diff --git a/test-suite/ide/undo018.fake b/test-suite/ide/undo018.fake index 42e64218e..ef0945ab5 100644 --- a/test-suite/ide/undo018.fake +++ b/test-suite/ide/undo018.fake @@ -10,4 +10,4 @@ REWIND 1 # INTERP End M. # -INTERPRAW Check x. \ No newline at end of file +INTERPRAW Check x. -- cgit v1.2.3