bch
0 Followers · 0 Following
  • Joined on 2020-06-13
Repositories
3
 Projects Packages Public Activity Starred Repositories
bch pushed tag xmem_1_29 to bch/xmem 2022-02-04 22:44:27 -08:00
bch pushed to master at bch/xmem 2022-02-04 22:41:28 -08:00
cfb359736f Whitespace cleanup
34c8e85e49 Add Linux support, fix whitespace
a6e2ded980 Whitespace
2458539dc7 Add Linux makefile
Compare 4 commits »
bch pushed to master at bch/llm 2021-07-31 06:01:01 -07:00
1c20a47954 Add JScheme example
ccfa109b06 literature, attchment material, general comments
a6a66503b9 renamed flex file
354ea0bb6b remove left-over debugging code
874d7dba83 move file, cleanup sample session
Compare 10 commits »
bch created branch master in bch/llm 2021-07-31 06:01:01 -07:00
bch created repository bch/llm 2021-07-31 05:58:48 -07:00
bch pushed to master at bch/tlamode 2021-04-13 10:47:26 -07:00
bf13ea44db Add a few tla symbols and load them to prettify them on command
bch released xmem_1_28 at bch/xmem 2021-03-05 01:53:40 -08:00
bch pushed to master at bch/tlamode 2021-02-19 12:43:55 -08:00
09941c5311 Add TLA+ Repl Shell elisp wrapper
71b6abbf9d Fix whitespace, add execution cmd message
Compare 2 commits »
bch pushed to master at bch/xmem 2020-11-17 09:14:35 -08:00
65bf48110a Cleanup get_mem for Open-/FreeBSD
bch pushed to master at bch/xmem 2020-11-16 10:11:55 -08:00
1268b76c3c Typo in Makefile
bch pushed to master at bch/xmem 2020-11-16 06:13:40 -08:00
d3837a3dbf Update 'README.md'
bch pushed to master at bch/xmem 2020-11-16 06:13:19 -08:00
25677ed9ff Update 'README.md'
bch pushed to master at bch/xmem 2020-11-16 06:11:25 -08:00
382c8ec129 Add web stuff etc
bch pushed to master at bch/xmem 2020-11-16 05:57:07 -08:00
34548bbd21 Makefile - default to OpenBSD
bch pushed tag xmem_1_27 to bch/xmem 2020-11-16 05:55:55 -08:00
bch pushed tag xmem_1_26 to bch/xmem 2020-11-16 05:55:55 -08:00
bch pushed tag xmem_1_25 to bch/xmem 2020-11-16 05:55:55 -08:00
bch pushed tag xmem_1_24 to bch/xmem 2020-11-16 05:55:55 -08:00
bch pushed tag xmem_1_23 to bch/xmem 2020-11-16 05:55:55 -08:00
bch pushed tag xmem_1_22 to bch/xmem 2020-11-16 05:55:55 -08:00