diff options
author | Eduardo Julian | 2021-09-16 02:16:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-16 02:16:58 -0400 |
commit | df7321119283f4edd00e159ba619696f1c07161a (patch) | |
tree | 049e8b9fa28d996c398438435ed8f231a0934e76 /stdlib/source/documentation/lux/data/text | |
parent | a8536d6f44345d7ef86cdc9c67e6efbe80f024de (diff) |
Additional documentation for JVM types.
Diffstat (limited to 'stdlib/source/documentation/lux/data/text')
-rw-r--r-- | stdlib/source/documentation/lux/data/text/format.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/data/text/format.lux b/stdlib/source/documentation/lux/data/text/format.lux index fe36d6f66..3ef040ea8 100644 --- a/stdlib/source/documentation/lux/data/text/format.lux +++ b/stdlib/source/documentation/lux/data/text/format.lux @@ -1,6 +1,6 @@ (.using [library - [lux {"-" nat int rev type list} + [lux {"-" nat int rev type list symbol} ["$" documentation {"+" documentation:}] [macro ["[0]" template]]]] @@ -30,7 +30,7 @@ ($.default /.text) ($.default /.ratio) - ($.default /.name) + ($.default /.symbol) ($.default /.location) ($.default /.code) ($.default /.type) |