Ignore:
Timestamp:
Apr 2, 2023, 10:58:22 PM (22 months ago)
Author:
w96k <w96k@…>
Branches:
master
Children:
972a737
Parents:
d1d01c6
Message:

Add logsec

File:
1 edited

Legend:

Unmodified
Added
Removed
  • content/digarden/20210428014629-inria.org

    rd1d01c6 r962709f  
    55Французский институт, который создал:
    66- [[id:ab68624c-e88f-4fe4-94e9-d5de53f97358][Ocaml]]
    7 - [[id:299d915f-59a3-43f4-993f-5951c55cd573][BigLoo]]
     7- BigLoo
    88- [[id:182e1fdb-3dfe-4f7a-a680-603fca382b59][Coq]]   
Note: See TracChangeset for help on using the changeset viewer.