Logo
Explore Help
Sign In
phc/lean4game
Watch 6
Star 1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
718 Commits 19 Branches 10 Tags
30f9d4648906e3e53135057c058e59d0960b5afa
Commit Graph
9 Commits
Author SHA1 Message Date
joneugster cc4321ff3f Turn some logInfo into trace[debug] to toggle the off for building 2023-10-17 16:01:39 +02:00
Jon 6e046d72b6 show error on duplicated level number 2023-10-07 21:03:44 +02:00
Jon Eugster b6ea453084 add Template server-side 2023-08-25 18:04:10 +02:00
Jon Eugster 0b14489911 use docComment for statement description 2023-08-07 01:16:02 +02:00
Jon Eugster 4e12c749e0 fix findLoops 2023-07-20 15:56:01 +02:00
Jon Eugster 73ca0f4d95 fix Statement inside a namespace 2023-05-26 17:10:10 +02:00
Jon Eugster de163a19c9 turn missing doc error into warning 2023-05-15 15:12:44 +02:00
Jon Eugster c6e224dc40 add Hole and Template skeleton 2023-05-12 16:02:36 +02:00
Jon Eugster 48ba131d2c fix bug for marking new inventory items 2023-04-28 13:01:38 +02:00
Powered by Gitea Version: 1.27.2 Page: 257ms Template: 6ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API