mirrors/hyperrogue
1
0
Fork 0
mirror of https://github.com/zenorogue/hyperrogue.git synced 2024-12-27 02:20:36 +00:00
Code Issues Releases Wiki Activity
10,858 Commits 1 Branch 66 Tags 131 MiB
199f8b2927
Commit Graph

1002 Commits

Author SHA1 Message Date
Zeno Rogue
439850f74c fixup to simple_impossible 2023-01-30 01:02:02 +01:00
Zeno Rogue
c21d5373e5 simple-impossible now works with the new model, and also rotates 2023-01-30 00:46:55 +01:00
Zeno Rogue
c468c90463 rogueviz/simple-impossible.cpp 2023-01-30 00:46:18 +01:00
Zeno Rogue
80c0b4bb0c rogueviz:: adjusted flocking to interface changes 2023-01-29 17:03:53 +01:00
Zeno Rogue
146c075210 removed functions which were moved elsewhere 2023-01-23 22:14:59 +01:00
Zeno Rogue
8a5e768b51 rogueviz::dhrg::loglik:: max steps 2023-01-08 16:03:20 +01:00
Zeno Rogue
4ff8f4b68a rogueviz::sag:: added CAP_SDL guards 2023-01-08 16:02:32 +01:00
Zeno Rogue
b6c257a264 rogueviz:: newconf:: apple default shape 2023-01-08 16:02:02 +01:00
Zeno Rogue
a7f95cfe3d SAG shuift_object is now geodesic 2023-01-08 16:00:42 +01:00
Zeno Rogue
a55ed32fa1 adjusted bringris to use mproduct and mhybrid 2023-01-03 20:51:29 +01:00
Zeno Rogue
080e853364 adjusted RogueViz to name changes 2022-12-18 14:06:38 +01:00
Zeno Rogue
5477b0e863 rogueviz:: fixed some hotkey bugs in smoothcam 2022-12-11 21:14:06 +01:00
Zeno Rogue
0dd29dd7cf adjusted RogueViz to use the new 3D functions 2022-12-11 21:12:51 +01:00
Zeno Rogue
301dad5d7b sag:: sagsmooth option 2022-11-13 16:22:55 +01:00
Zeno Rogue
828c185520 rogueviz:: edit weight gamma via UI 2022-11-13 16:22:55 +01:00
Zeno Rogue
84344e7d5d sag:: fixup to sag_edge 2022-11-13 16:22:55 +01:00
Zeno Rogue
6450f7c8a6 sag:: set RV_INVERSE_WEIGHT flag 2022-11-13 16:22:55 +01:00
Zeno Rogue
97fb10b6f0 sag:: vizsa_len now has a default value which does not invoke division-by-zero bugs 2022-11-13 16:22:55 +01:00
Zeno Rogue
0faf07741c rogueviz:: configure_edge_display can now edit visible_from_hi 2022-11-13 16:22:55 +01:00
Zeno Rogue
67b70ea7fd rogueviz:: an option to show edge weights as labels 2022-11-13 16:22:55 +01:00
Zeno Rogue
b7aae63b90 rogueviz:: remove visible_from_help, it just displays a list 2022-11-13 16:22:55 +01:00
Zeno Rogue
06523e063e used cyclefix and raddif in more places; (c)spin90, (c)spin180 and spin180 functions; rephrased M_PI in terms of TAU and x._deg when applicable 2022-11-13 16:22:55 +01:00
Zeno Rogue
612356db7f added missing leastsquare 2022-11-11 14:56:59 +01:00
Zeno Rogue
16d142711a fixed #define T spilling 2022-11-04 23:57:51 +01:00
Zeno Rogue
1cbaf36698 added guards to dhrg.h 2022-11-04 23:53:13 +01:00
Zeno Rogue
a71207800b rogueviz::sag::display match A/B parameters 2022-10-27 16:06:39 +02:00
Zeno Rogue
3506ccac13 rogueviz::sag:: loglik_repeat works better now 2022-10-27 16:06:39 +02:00
Zeno Rogue
5cdbca3b21 optimize_sag_loglik for match 2022-10-27 16:06:39 +02:00
Zeno Rogue
e011f86671 sag:: an option to generate fake data, mainly for smMatch 2022-10-27 16:06:39 +02:00
Zeno Rogue
5a19fffd8f rogueviz::sag:: smMatch method 2022-10-27 16:06:39 +02:00
Zeno Rogue
bb5fa51965 rogueviz::sag:: prepared for further methods 2022-10-27 16:06:39 +02:00
Zeno Rogue
d828ff0e7e output_stats may include numiter and temperatures 2022-10-27 16:06:39 +02:00
Zeno Rogue
fa7145586f fixup to long long 2022-10-27 16:06:39 +02:00
Zeno Rogue
a1695a82d0 rogueviz::sag:: automatically set RT to average values 2022-10-27 16:06:39 +02:00
Zeno Rogue
c8a1c8b5d7 rogueviz::sag;: geometry stats 2022-10-27 16:06:39 +02:00
Zeno Rogue
4c30e6051f rogueviz::sag:: Dijkstra edges, save/load distances from file 2022-10-27 16:06:39 +02:00
Zeno Rogue
15d97a8cd1 rogueviz::sag:: angular distances 2022-10-27 16:06:39 +02:00
Zeno Rogue
d39623fdd5 rogueviz::sag:: ll fixup 2022-10-27 16:06:39 +02:00
Zeno Rogue
7ad4668623 rogueviz::sag:: numiter is now long long 2022-10-27 16:06:39 +02:00
Zeno Rogue
e7bebaa79c rogueviz::sag:: conserve memory for sagdist 2022-10-27 16:06:39 +02:00
Zeno Rogue
bcadbdbcab rogueviz:: vertex search improvements 2022-10-27 16:06:39 +02:00
Zeno Rogue
40ca8b8553 rogueviz:: list used in smoothcam 2022-10-27 16:06:39 +02:00
Zeno Rogue
bf86077ebf rogueviz:: list used in rogueviz vertex search 2022-10-27 16:06:39 +02:00
Zeno Rogue
49564b2e0e should no longer freeze when maxv/unit or maxv/tank is negative or too large 2022-10-16 09:48:57 +02:00
Zeno Rogue
3c867a7ff0 ads-game:: joystick control 2022-10-16 09:46:04 +02:00
Zeno Rogue
0c38c4ad68 ads-game:: improvements to dS 2022-10-16 09:37:21 +02:00
Zeno Rogue
122ea6dfb4 informed about hidden dependencies in rogueviz/ads/ 2022-10-15 22:58:46 +02:00
Zeno Rogue
e74f2e3c78 ads-game:: improvements to CLI switches 2022-10-15 22:56:42 +02:00
Zeno Rogue
10856a6694 ads-game:: fixes to ghosts 2022-10-15 22:56:27 +02:00
Zeno Rogue
55d4f93873 no copyright line shown if texture not shown due to wrong mode 2022-10-15 22:56:10 +02:00
Zeno Rogue
4e7b95e346 ads-game:: new view modes are now available in the menu 2022-10-15 22:55:33 +02:00
Zeno Rogue
971ce2aade ads-game:: more default settings set in set_config 2022-10-15 22:53:13 +02:00
Zeno Rogue
e129ce08c6 ads-game:: print for cross_result 2022-10-15 21:38:36 +02:00
Zeno Rogue
6e1c32787a ads-game:: AdS cross0_cone now takes auto_rotate into account 2022-10-15 21:37:26 +02:00
Zeno Rogue
38fddfa43f ads-game:: past/future cone view 2022-10-15 17:56:15 +02:00
Zeno Rogue
1ace6d4fff ads-game:: switch_replay only while in pause 2022-10-15 14:26:55 +02:00
Zeno Rogue
1d41b80b2a ads-game:: no more crash when trying to restart while in spacetime 2022-10-15 14:26:42 +02:00
Zeno Rogue
c6dad6ee99 ads-game:: spacetime functions renamed 2022-10-15 14:26:12 +02:00
Zeno Rogue
17e2a56320 ads-game:: better organized spacetime display 2022-10-15 14:25:31 +02:00
Zeno Rogue
5423eebc2d ads-game:: cleanup nomap 2022-10-15 14:24:56 +02:00
Zeno Rogue
0ddc6c722f ads-game:: duality modes for AdS 2022-10-15 14:23:53 +02:00
Zeno Rogue
9121eb7d72 ads-game:: refactored switch_pause 2022-10-15 14:22:09 +02:00
Zeno Rogue
a5a7e8a5fa deSitter projections shown in menu 2022-10-14 01:11:29 +02:00
Zeno Rogue
1cde76c880 fixup to views : filename 2022-10-14 01:09:33 +02:00
Zeno Rogue
970c2acc96 ads-game:: no longer crashes if underlying is not-gNormal hyperbolic 2022-10-14 01:02:36 +02:00
Zeno Rogue
45141a9df0 ads-game:: underlying/spacetime views 2022-10-14 01:01:50 +02:00
Zeno Rogue
9184532036 ads-game:: replay mode 2022-10-09 13:15:57 +02:00
Zeno Rogue
757660edd0 bringris:: musicvolume editable only if music available 2022-10-08 02:02:55 +02:00
Zeno Rogue
d8da9639d0 tes:: split get_adj into two functions, one with connection specified (inlcuding mirror), and one not 2022-10-08 01:53:02 +02:00
Zeno Rogue
b76ab8ebdd rogueviz:: smoothcam:: snapping, side view 2022-10-06 19:40:22 +02:00
Zeno Rogue
6514c8758e that was not a correct fix 2022-09-29 15:25:41 +02:00
Zeno Rogue
5a6444b45a yet another fixup for SCU 2022-09-29 15:23:25 +02:00
Zeno Rogue
0fb4033868 ads-game:: added CAP_VIDEO guard, and made SCU compile work 2022-09-29 15:13:59 +02:00
Zeno Rogue
31318862cb rogueviz:: added CAP_THREAD guard 2022-09-29 15:13:30 +02:00
Zeno Rogue
628f19a0a0 ads-game:: recenter cheat 2022-09-29 15:05:57 +02:00
Zeno Rogue
c4a4b21296 ads-game:: better protection from invalid in ds 2022-09-29 15:04:54 +02:00
Zeno Rogue
171b198cd8 ads-game:: debug removed 2022-09-29 14:27:40 +02:00
Zeno Rogue
9c7f23e16e ads-game:: fixed ds_max_ and ds_tank_ config variables 2022-09-29 14:27:25 +02:00
Zeno Rogue
3518c9abf3 ads-game:: -ds-recenter feature 2022-09-29 14:27:06 +02:00
Zeno Rogue
6fa7cdaf0a ads-game:: fixed the precision issues casuing weird display in dS 2022-09-29 14:26:53 +02:00
Zeno Rogue
f161f9bf0a ads-game:: fixed convergent/divergent spirals 2022-09-29 14:25:18 +02:00
Zeno Rogue
80c02c7e38 ads-game:: fixed history view 2022-09-29 14:24:57 +02:00
Zeno Rogue
25997dc6c1 ads-games:: fixes to ds-record 2022-09-29 13:09:21 +02:00
Zeno Rogue
1391a0e47f ads-game:: display resources in corner for now 2022-09-29 12:12:26 +02:00
Zeno Rogue
553bd8f466 ads-game:: do not crash if list missing 2022-09-29 12:12:11 +02:00
Zeno Rogue
01c7ff5bc6 ads-game:: past fixup 2022-09-29 12:12:02 +02:00
Zeno Rogue
cc1d2c1b48 ads-game:: footer/copyright shown 2022-09-29 12:11:50 +02:00
Zeno Rogue
3808d93a11 ads-game:: don't display proper time of history ships even though view_proper_times is off 2022-09-29 11:40:21 +02:00
Zeno Rogue
293c271c7f past cones are displayed too, not only future cones 2022-09-29 11:38:54 +02:00
Zeno Rogue
b26ce4a067 ads-game:: missile rapidity editable, and also no longer changes when scale changes 2022-09-29 11:22:19 +02:00
Zeno Rogue
b8eeec248e ads-game:: fixed some names to Relative Hell 2022-09-29 11:14:27 +02:00
Zeno Rogue
84022c1ab4 ads-game:: restart fixup 2022-09-29 11:14:14 +02:00
Zeno Rogue
6549637f8d ads-game:: fixed ads crash ship 2022-09-29 11:13:35 +02:00
Zeno Rogue
b34fbba7b4 ads-game:: do not generate rocks when shooting, so that it is faster 2022-09-29 11:13:24 +02:00
Zeno Rogue
85816ca0bb ads-game:: in ds, all objects have no black boundary to make them easier to recognize 2022-09-29 11:12:49 +02:00
Zeno Rogue
864f6d7899 ads-game:: speeds and acceleration are now given in absolute units (no dep on animperiod) 2022-09-29 11:12:24 +02:00
Zeno Rogue
b0ae2774a1 ads-game:: 'pick the game' screen, also dS restarts correctly 2022-09-29 11:10:16 +02:00
Zeno Rogue
ef7050aed2 ads-game:: correct sphere flipping 2022-09-29 01:39:57 +02:00
Zeno Rogue
49ce0c1551 ads-game:: better ship shape handling 2022-09-29 01:39:16 +02:00
Zeno Rogue
bcd6d772f6 ads-game:: fix texture glitches 2022-09-29 01:13:43 +02:00
Zeno Rogue
0c6d83b702 ads-game:: don't display ship history unless paused 2022-09-29 01:12:46 +02:00
Zeno Rogue
7f8a2f7a49 ads-game:: reduced default texture quality 2022-09-29 01:12:32 +02:00
Zeno Rogue
a401a7ed67 ads-game:: sounds 2022-09-29 01:12:08 +02:00
Zeno Rogue
a84a9c94dd settings for dS (also are now separate from adS) 2022-09-28 22:10:09 +02:00
Zeno Rogue
a775a74bb2 fixed missiles/particles being invisible due to incorrect clockwiseness of shape 2022-09-28 21:28:47 +02:00
Zeno Rogue
a3b85103b6 ads-game:: in dS, faster resources, and spin them correctly 2022-09-28 21:27:06 +02:00
Zeno Rogue
0367d9553d ads-game:: display score in dS 2022-09-28 21:26:43 +02:00
Zeno Rogue
a9c416ac64 ds-game:: fixed area calculcation 2022-09-28 21:06:56 +02:00
Zeno Rogue
773e73dcc2 ads-game:: priorities (and also main rock) 2022-09-28 21:06:07 +02:00
Zeno Rogue
95b205cce0 ads-game:: resources and crashes in dS 2022-09-28 20:27:11 +02:00
Zeno Rogue
ade4f9c030 ads-game:: ds-texture 2022-09-28 19:18:04 +02:00
Zeno Rogue
22a5729d35 ads-game:: dsgame patterns 2022-09-26 13:25:30 +02:00
Zeno Rogue
54e0d85ea7 ds-game:: added the main star, and fixed the precision issues (as long as close to the main star) 2022-09-26 10:53:55 +02:00
Zeno Rogue
4af232e9c1 ads:: future in AdS shown correctly (using light-like geodesics); show future for dS 2022-09-25 22:20:18 +02:00
Zeno Rogue
c49b320330 rogueviz:: presentation improvements 2022-09-24 09:14:31 +02:00
Zeno Rogue
40d3c39cf1 rogueviz:: objmodel minor fix 2022-09-24 09:13:38 +02:00
Zeno Rogue
69280c7efe bringris:: adjust to gamescreen no parameter 2022-09-24 09:13:25 +02:00
Zeno Rogue
df6dd67fc1 nilrider:: game_keys_scroll 2022-09-24 09:13:00 +02:00
Zeno Rogue
62fed6129f ads-game:: record a run 2022-09-20 12:36:16 +02:00
Zeno Rogue
bdbf4e2935 ads-game:: ds-game more game-y 2022-09-20 12:29:19 +02:00
Zeno Rogue
fbf0b487b1 ads-game:: added the de Sitter version 2022-09-19 23:17:27 +02:00
Zeno Rogue
720ccc649c ads-game:: removed some junk 2022-09-19 23:17:00 +02:00
Zeno Rogue
8f086f7bb5 ads-game:: display time for shipstate 2022-09-19 23:16:41 +02:00
Zeno Rogue
f375d609c6 ads-game:: refactored read_movement 2022-09-19 23:16:16 +02:00
Zeno Rogue
987c0e6113 ads-game:: refactored set_default_keys 2022-09-19 23:15:27 +02:00
Zeno Rogue
2e99da82ba ads-game:: fix numerical error 2022-09-19 00:12:00 +02:00
Zeno Rogue
4b74fdf7c1 ads-game:: fix spacing 2022-09-19 00:11:48 +02:00
Zeno Rogue
277b1e1fd0 ads-game:: fixed restart 2022-09-18 23:39:04 +02:00
Zeno Rogue
bbc57d9b8f ads-game:: improved celldraw priority 2022-09-18 23:36:47 +02:00
Zeno Rogue
f46279843d ads-game:: restart bugfix 2022-09-18 23:36:21 +02:00
Zeno Rogue
fcd54e3d62 ads-game:: const added 2022-09-18 23:36:04 +02:00
Zeno Rogue
567ef8e7e6 ads-game:: resource expiration 2022-09-18 17:29:01 +02:00
Zeno Rogue
a1a65ac612 optimize center in queue 2022-09-18 17:28:48 +02:00
Zeno Rogue
43305ea1cd vctr is now the hyperbolic cell (similar for some variables); also invincibility on start 2022-09-18 17:02:15 +02:00
Zeno Rogue
03a3fd14a0 ads-game:: priority_queue-based rendering 2022-09-18 16:49:08 +02:00
Zeno Rogue
7a7ee1a13f clarified that times in settings are always specified in absolute units 2022-09-18 13:46:47 +02:00
Zeno Rogue
11a059eb60 auto-change-scale functionality 2022-09-18 13:45:45 +02:00
Zeno Rogue
b7c15e0978 ads-game:: fuel particles take scale into account 2022-09-18 13:34:47 +02:00
Zeno Rogue
04c43e99e6 ads-game:: performance settings 2022-09-18 13:34:30 +02:00
Zeno Rogue
62996d0d4c missile rapidity and particle settings 2022-09-18 13:14:46 +02:00
Zeno Rogue
707247d297 ads-game:: configurable scale 2022-09-18 13:03:14 +02:00
Zeno Rogue
00b2dc522a better rock generation 2022-09-18 12:58:18 +02:00
Zeno Rogue
eefb91501e ads-game:: show the (approximate) future 2022-09-18 11:24:43 +02:00
Zeno Rogue
d76b2156f2 ads-game:: further improvements to the menu 2022-09-18 10:26:16 +02:00
Zeno Rogue
29ed17410b ads-game:: more settings 2022-09-18 10:22:25 +02:00
Zeno Rogue
6ea3cc4bcc time_unit and pause_speed settings 2022-09-18 10:22:13 +02:00
Zeno Rogue
11b70006aa ads-game:: easier to invoke menu 2022-09-18 10:21:29 +02:00
Zeno Rogue
8a35e6facb ads-game:: made the game easier to (re)start, also more settings 2022-09-18 10:21:13 +02:00
Zeno Rogue
fc184640d3 no ship history after game_over 2022-09-17 17:47:31 +02:00
Zeno Rogue
9799ff1ccf ads-game:: view history while paused 2022-09-17 17:34:54 +02:00
Zeno Rogue
37ab1b523d ads-game:: no more fire while paused 2022-09-17 17:34:19 +02:00
Zeno Rogue
b75bb20246 missile life starts at 0 2022-09-17 17:34:11 +02:00
Zeno Rogue
21ebbc6ca4 ads-game:: more intuitive pause-scrolling 2022-09-17 16:49:09 +02:00
Zeno Rogue
75902e5fd3 ads-game:: adjust resource positioning to model 2022-09-17 16:47:35 +02:00
Zeno Rogue
22ef01964a ads-game:: model permanently switched to underlying geometry 2022-09-17 16:47:22 +02:00
Zeno Rogue
505e9dcbbe ads-game:: better placement of resources 2022-09-17 15:17:37 +02:00
Zeno Rogue
8e23039fc0 ads-game:: better swap 2022-09-17 15:17:08 +02:00
Zeno Rogue
2f672bc4f3 more precise checking whether a rock does not hit a wall (but too expensive to use) 2022-09-17 15:17:01 +02:00
Zeno Rogue
fa1f237f37 ads-game:: less expensive 2022-09-17 15:16:26 +02:00
Zeno Rogue
b1baf393ba ads-game:: display other frames of reference while paused 2022-09-17 15:16:04 +02:00
Zeno Rogue
905c4e3afb rogueviz:: adjusted to patTriOther removal 2022-09-14 18:58:42 +02:00
Zeno Rogue
d3b4b880fc fixed a bug in ship centering 2022-09-12 15:00:00 +02:00
Zeno Rogue
818d943827 ads-game:: crash with walls 2022-09-12 14:57:47 +02:00
Zeno Rogue
ae0ab132e1 ads-game:: do something about gameover, also spin the ship in handle_crashes 2022-09-12 14:57:37 +02:00
Zeno Rogue
7c87df85ac ads-game:: do not view_proper_times for particles 2022-09-12 14:57:00 +02:00
Zeno Rogue
d5251664cb ads-game:: better tank display 2022-09-12 13:20:44 +02:00
Zeno Rogue
d4d7842e5a ads-game:: less walls 2022-09-12 13:20:11 +02:00
Zeno Rogue
2f78601f0b ads-game:: fuel/crash particles 2022-09-12 13:20:04 +02:00
Zeno Rogue
7958c095d0 ads-game:: clear rocks near to the starting point 2022-09-12 12:58:05 +02:00
Zeno Rogue
cd84dfca4f ads-game:: resources are used 2022-09-12 12:57:52 +02:00
Zeno Rogue
3578ae0631 ads-game:: resources displayed 2022-09-12 12:24:18 +02:00
Zeno Rogue
dbcc88b42a ads-game:: renamed Energy to Ammo 2022-09-12 12:23:49 +02:00
Zeno Rogue
b056b5c153 shapes used, unique_ptrs, resources generated 2022-09-12 11:49:28 +02:00
Zeno Rogue
9545796a1d ads-game:: new shapes, shape_ship written like other things 2022-09-12 11:48:02 +02:00
Zeno Rogue
2522b16e55 renamed flatresult to cross_result 2022-09-11 13:44:28 +02:00
Zeno Rogue
a221244cab renamed rockinfo to ads_object 2022-09-11 13:43:44 +02:00
Zeno Rogue
06832c5371 ads-game:: you can now shoot rocks 2022-09-11 13:42:51 +02:00
Zeno Rogue
4eebc5858e first commit of AdS game 2022-09-11 12:16:50 +02:00
Zeno Rogue
3080e5d05b rogueviz::sag:: further new options 2022-08-26 12:43:59 +02:00
Zeno Rogue
7411f21b59 rogueviz:: parallelize moved from flocking to rogueviz.h 2022-08-23 21:52:36 +02:00
Zeno Rogue
b6d665ff0e rogueviz:: SAG improvements 2022-08-23 21:52:36 +02:00
Zeno Rogue
d4ea078f7f DHRG not exports some things 2022-08-23 21:52:36 +02:00
Zeno Rogue
764afbcd11 nilrider:: save config 2022-08-23 21:52:36 +02:00
Zeno Rogue
84d15a121b rogueviz::sag:: modernized, also made the animation possible again 2022-08-23 21:52:36 +02:00
Zeno Rogue
d55a2022c0 nilrider:: audio settings 2022-08-14 19:55:25 +02:00
Zeno Rogue
9108d06543 nilrider:: extra exports 2022-08-14 19:24:39 +02:00
Zeno Rogue
576e21ece9 nilrider:: fixup to new levels 2022-08-14 19:24:33 +02:00
Zeno Rogue
ffcf7853cb nilrider:: compile in SDL2 2022-08-14 19:24:24 +02:00
Zeno Rogue
82e2e853bf nilrider:: synchronized music 2022-08-14 19:24:13 +02:00
Zeno Rogue
dbab2254c6 nilrider:: two new levels 2022-08-14 19:23:18 +02:00
Zeno Rogue
68da2e967c rogueviz:: fixed variation in create_notknot to pure 2022-08-13 22:45:10 +02:00
Zeno Rogue
41ccb86c8c rogueviz:: various minor fixes to presentations 2022-08-12 09:09:38 +02:00
Zeno Rogue
d5467eb379 rogueviz:: links to the papers in presentations 2022-08-12 09:09:18 +02:00
Zeno Rogue
dd4001601f fixed a freeze in snowballs 2022-08-12 09:08:19 +02:00
Zeno Rogue
608c283f2d rogueviz:: snow:: new options snow_random_colors and snow_just_centered 2022-08-12 09:07:59 +02:00
Zeno Rogue
c261db8a08 rogueviz:: intra-demos:: popscreen on run 2022-08-07 15:44:49 +02:00
Zeno Rogue
0265f76c69 rogueviz:: presentation:: allow pre-rendered LaTeX 2022-08-07 03:16:24 +02:00
Zeno Rogue
f38da4cba9 rogueviz:: added namespace to intra demos 2022-08-07 03:16:24 +02:00
Zeno Rogue
cfad696d4a rogueviz::dhrg:: fixed some confusion 2022-08-07 03:16:24 +02:00
Zeno Rogue
22523ccfc3 rogueviz:: in the minesweeper presentation, updated the tes filename 2022-08-07 03:16:24 +02:00