a question about file renaming

[Manlio Perillo]

Hi.

I have a small question about this use case:

1) Create a file named 'x' with content "x", add to repository and
    commit
2) Rename file 'x' to 'y', create and add to repository a new file 'x'
    with content "new x", commit


Is this fully supported?

The diff says:

diff --git a/x b/x
--- a/x
+++ b/x
@@ -1,1 +1,1 @@
-x
+new x
diff --git a/x b/y
copy from x
copy to y



Thanks  Manlio Perillo