phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
681 Commits 19 Branches 10 Tags
923a6cfb4f0403de50b270148cf0354b0d83d53d
Commit Graph
22 Commits
Author SHA1 Message Date
Jon Eugster c738695e81 spacing around proof step #92 2023-08-28 12:37:11 +02:00
Jon Eugster ccc244f054 css for commands 2023-07-24 17:38:18 +02:00
Jon Eugster 9e541c427d keep deleted chat messages around until command is entered 2023-07-17 01:40:50 +02:00
Jon Eugster d0316b734a cleanup and scrolling 2023-07-14 17:07:12 +02:00
Jon Eugster bd7dc02e70 lots of stuff 2023-07-13 17:31:58 +02:00
Jon Eugster c5f54834ed refactor 2023-07-05 14:54:06 +02:00
Jon Eugster a32baeb8e7 move hints to chat 2023-06-20 11:39:27 +02:00
Jon Eugster ba7ccf88c3 move command line to bottom 2023-06-19 19:24:16 +02:00
Jon Eugster 60a9c1727b improve command line display 2023-04-05 17:16:30 +02:00
Jon Eugster a4623a8241 css 2023-03-23 16:00:11 +01:00
Jon Eugster 75f356f4b2 Add World introduction and change layout 2023-03-06 18:07:09 +01:00
Alexander Bentkamp 622aca644e correct shrinking of command line 2023-02-09 13:54:06 +01:00
Alexander Bentkamp ca329a933c make command line look the same on all browsers 2023-02-09 13:43:59 +01:00
Alexander Bentkamp 278aedb20c more monaco command line 
fixes #32
 2023-02-07 15:39:40 +01:00
Alexander Bentkamp a3b1011035 monaco command line 2023-02-07 13:25:57 +01:00
Alexander Bentkamp f73dac8353 prettier command line 2023-01-30 12:28:25 +01:00
Alexander Bentkamp 6d567a696f add command line #26 2023-01-27 12:14:08 +01:00
Alexander Bentkamp f82c310557 check when level is completed 
fixes #27
 2023-01-26 12:06:13 +01:00
Alexander Bentkamp a2c9645144 prettier goal display 2023-01-25 14:57:34 +01:00
Alexander Bentkamp 3e4a687bd1 prettier goal view 2023-01-25 13:51:00 +01:00
Jon Eugster 2223fcc0ad CSS fix 2023-01-24 10:09:33 +01:00
Alexander Bentkamp 8e3af92c03 simplify infoview 2023-01-20 16:44:45 +01:00