commit 715ef8f5ff78bea39ee67f0887d4f29a12a140f2 Author: galois Date: Thu Sep 19 16:02:57 2024 +0200 Initial commit diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..985742b --- /dev/null +++ b/.gitignore @@ -0,0 +1,99 @@ +# ---> Lazarus +# Lazarus compiler-generated binaries (safe to delete) +*.exe +*.dll +*.so +*.dylib +*.lrs +*.res +*.compiled +*.dbg +*.ppu +*.o +*.or +*.a + +# Lazarus autogenerated files (duplicated info) +*.rst +*.rsj +*.lrt + +# Lazarus local files (user-specific info) +*.lps + +# Lazarus backups and unit output folders. +# These can be changed by user in Lazarus/project options. +backup/ +*.bak +lib/ + +# Application bundle for Mac OS +*.app/ + +# ---> OpenSSL +# OpenSSL-related files best not committed + +## Certificate Authority +*.ca + +## Certificate +*.crt + +## Certificate Sign Request +*.csr + +## Certificate +*.der + +## Key database file +*.kdb + +## OSCP request data +*.org + +## PKCS #12 +*.p12 + +## PEM-encoded certificate data +*.pem + +## Random number seed +*.rnd + +## SSLeay data +*.ssleay + +## S/MIME message +*.smime + +# ---> OCaml +*.annot +*.cmo +*.cma +*.cmi +*.a +*.o +*.cmx +*.cmxs +*.cmxa + +# ocamlbuild working directory +_build/ + +# ocamlbuild targets +*.byte +*.native + +# oasis generated files +setup.data +setup.log + +# Merlin configuring file for Vim and Emacs +.merlin + +# Dune generated files +*.install + +# Local OPAM switch +_opam/ + diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..9602777 --- /dev/null +++ b/LICENSE @@ -0,0 +1,11 @@ +This is APREAMBL.TEX, version 1.10e, written by Hans-Hermann Bode +(HHBODE@DOSUNI1.BITNET), for the BibTeX `adaptable' family, version 1.10. +See the file APREAMBL.DOC for a detailed documentation. + +This program is distributed WITHOUT ANY WARRANTY, express or implied. + +Copyright (C) 1991, 1992 Hans-Hermann Bode + +Permission is granted to make and distribute verbatim copies of this document provided that the copyright notice and this permission notice are preserved on all copies. + +Permission is granted to copy and distribute modified versions of this document under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. diff --git a/README.md b/README.md new file mode 100644 index 0000000..c6aa67d --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +# test + +hello world! \ No newline at end of file