Default Branch

master 38fcd0caf2 · Updated repository description. · Updated 2024-01-27 14:09:25 +00:00

ZIP  TAR.GZ

Branches

Search

autogenerated_parser 7126276e2c · Added generated (using mllex and mlyacc) C-parser files to reduce dependencies required by users of AutoCorres. · Updated 2024-01-27 13:46:02 +00:00    adbrucker	5 0	Included	ZIP  TAR.GZ
cpp_wrapper dd92984a2d · Keeping cpp script for the moment. · Updated 2024-01-27 13:45:36 +00:00    adbrucker	5 0	Included	ZIP  TAR.GZ
renaming_Word_Lib e59d6ad091 · Renamed Word_Lib shipped by AutoCorres to Word_Lib_l4v to avoid a name clash with the AFP entry of same name. · Updated 2024-01-27 13:44:24 +00:00    adbrucker	5 0	Included	ZIP  TAR.GZ
cpp_path_relative 809e485205 · Removed trailing whitespaces. · Updated 2024-01-22 19:09:45 +00:00    adbrucker	75 69	Compare	ZIP  TAR.GZ
isabelle2023 b6d683f950 · Alignment with upstream. · Updated 2023-10-07 16:37:12 +00:00	75 3	Compare	ZIP  TAR.GZ
umm_types_relative e03e778c44 · Ensure that umm_types.txt is saved relative to theory file. · Updated 2023-10-07 16:21:39 +00:00	75 68	Compare	ZIP  TAR.GZ