diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-06 14:04:06 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-06 14:04:06 +0000 |
commit | e614634b1fc2315410bd23ac19abc650186056c5 (patch) | |
tree | 0ef7566bdcf5c8c750176cf40257a4055de5d2a8 /test-suite/ide | |
parent | f402a7969a656eaf71f88c3413b991af1bbfab0a (diff) |
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
Diffstat (limited to 'test-suite/ide')
-rw-r--r-- | test-suite/ide/undo001.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo002.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo007.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo008.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo013.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo014.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo015.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo016.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo017.fake | 2 | ||||
-rw-r--r-- | test-suite/ide/undo018.fake | 2 |
10 files changed, 10 insertions, 10 deletions
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. # </replay> 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 # <replay> INTERP End M. # </replay> -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 # <replay> INTERP End M. # </replay> -INTERPRAW Check x.
\ No newline at end of file +INTERPRAW Check x. |