Applied versioning changes to EiffelEnvironmentDefinedEvent.

d-stahl-ericsson · d-stahl-ericsson · commit 08fb2dcdcf29 · 2016-09-06T10:44:48.000+02:00
diff --git a/eiffel-vocabulary/EiffelEnvironmentDefinedEvent.md b/eiffel-vocabulary/EiffelEnvironmentDefinedEvent.md
@@ -39,6 +39,11 @@ __Type:__ String
 __Required:__ No  
 __Description:__ A URI identifying the environment description. This is the catch-all method of environment descriptions. Eiffel does not concern itself with the format or nature of the description, but merely points to its location.
 
+## Version History
+| Version   | Introducing Commit |
+| --------- | ------------------ |
+| 1.0.0     | _Current version_  |
+
 ## Examples
 * [URI example](../examples/events/EiffelEnvironmentDefinedEvent/uri.json)
 * [Host example](../examples/events/EiffelEnvironmentDefinedEvent/host.json)
diff --git a/examples/events/EiffelEnvironmentDefinedEvent/host.json b/examples/events/EiffelEnvironmentDefinedEvent/host.json
@@ -1,7 +1,7 @@
 {
   "meta": {
     "type": "EiffelEnvironmentDefinedEvent",
-    "version": "1.0",
+    "version": "1.0.0",
     "time": 1234567890,
     "id": "aaaaaaaa-bbbb-cccc-dddd-eeeeeeeeeee0",
     "source": {
diff --git a/examples/events/EiffelEnvironmentDefinedEvent/image.json b/examples/events/EiffelEnvironmentDefinedEvent/image.json
@@ -1,7 +1,7 @@
 {
   "meta": {
     "type": "EiffelEnvironmentDefinedEvent",
-    "version": "1.0",
+    "version": "1.0.0",
     "time": 1234567890,
     "id": "aaaaaaaa-bbbb-cccc-dddd-eeeeeeeeeee0",
     "source": {
diff --git a/examples/events/EiffelEnvironmentDefinedEvent/uri.json b/examples/events/EiffelEnvironmentDefinedEvent/uri.json
@@ -1,7 +1,7 @@
 {
   "meta": {
     "type": "EiffelEnvironmentDefinedEvent",
-    "version": "1.0",
+    "version": "1.0.0",
     "time": 1234567890,
     "id": "aaaaaaaa-bbbb-cccc-dddd-eeeeeeeeeee0",
     "source": {

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"meta": {`
`3`	`3`	`"type": "EiffelEnvironmentDefinedEvent",`
`4`		`- "version": "1.0",`
	`4`	`+ "version": "1.0.0",`
`5`	`5`	`"time": 1234567890,`
`6`	`6`	`"id": "aaaaaaaa-bbbb-cccc-dddd-eeeeeeeeeee0",`
`7`	`7`	`"source": {`