diff --git a/docs/platform-specification.md b/docs/platform-specification.md
index 3ce51a7d449..4597494614f 100644
--- a/docs/platform-specification.md
+++ b/docs/platform-specification.md
@@ -84,6 +84,17 @@ The following automatically generated properties can be used globally in all con
   meaningless version number.
 - `{ide_version}`: Compatibility alias for `{runtime.ide.version}`
 - `{runtime.os}`: the running OS ("linux", "windows", "macosx")
+- `{software}`: set to "ARDUINO"
+- `{name}`: platform vendor name
+- `{_id}`: [board ID](#boardstxt) of the board being compiled for
+- `{build.fqbn}`: the FQBN (fully qualified board name) of the board being compiled for. The FQBN follows the format:
+  `VENDOR:ARCHITECTURE:BOARD_ID[:MENU_ID=OPTION_ID[,MENU2_ID=OPTION_ID ...]]`
+- `{build.source.path}`: Path to the sketch being compiled. If the sketch is in an unsaved state, it will the path of
+  its temporary folder.
+- `{extra.time.utc}`: Unix time (seconds since 1970-01-01T00:00:00Z) according to the machine the build is running on
+- `{extra.time.local}`: Unix time with local timezone and DST offset
+- `{extra.time.zone}`: local timezone offset without the DST component
+- `{extra.time.dst}`: local daylight savings time offset
 
 Compatibility note: Versions before Arduino IDE 1.6.0 only used one digit per version number component in
 `{runtime.ide.version}` (so 1.5.9 was `159`, not `10509`).