afewell
commented
4 years ago @enzinas Thanks so much for letting me know! I helped build the new HOL so I should have remembered this but let it slip, I will get this updated right away. Thanks so much!
Open enzinas opened 4 years ago
afewell
commented
4 years ago @enzinas Thanks so much for letting me know! I helped build the new HOL so I should have remembered this but let it slip, I will get this updated right away. Thanks so much!
Please provide feedback for the course below. Thanks so much for your feedback and contributions! HOL that makes up part of the course HOL-2032-CNA no longer exists. While HOL-2132-MAP seems to be the replacement - it has to be searched for and is confusing that this course points at a non existent HOL.