Sizhe Zhao
86d49acdb0
Introducing new method of generating data files
...
A new file src/data/generate-data.py has been added.
It is written in Python 3 and has some new features like:
- It doesn't need Chrome to work, the script fetches the page automatically;
- It does the translation of HTML tags for better user experiences in editors.
In addition, a new section has been added to README.md to reflect this change.
2021-07-10 21:21:54 +08:00
Sizhe Zhao
14a70a38af
Update master data
2021-07-09 23:45:48 +08:00
Frank Denis
df9560db51
Update for -master
...
fn_proto.extern_export_token -> fn_proto.extern_export_inline_token
And update the data by the way.
2021-05-23 18:01:03 +02:00
Alexandros Naskos
7f432d8715
Implemented the signature help request.
...
Refreshes builtin data, added 0.7.1 builtins
2021-04-02 20:49:01 +03:00
Frank Denis
3431b7afaa
Regen data for master - @TagType is gone
2021-03-03 13:46:23 +01:00
g-w1
dffc88a354
update setevalbranchquota: usize -> u32 for master
2021-01-03 15:00:01 -05:00
Frank Denis
ccfb18ec54
Update data for zig 0.7.0 and the current master branch
2020-11-15 12:01:33 +01:00
Alexandros Naskos
560b39d359
Better builtin data format and script
2020-11-05 00:39:24 +02:00
SuperAuguste
fdba27b6e0
Update builtins from master docs
2020-07-25 14:52:31 -04:00
SuperAuguste
1725278be1
add master data, add data selection
2020-05-07 11:29:40 -04:00
