Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion LICENSE
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
MIT License

Copyright (c) 2019-2023 OCaml Software Foundation.
Copyright (c) 2016-2018 OCamlPro.
Copyright (c) 2015-2018 OCamlPro.

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
Expand Down
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -74,13 +74,13 @@ Authors and Acknowledgements

Learn-OCaml is a free software by the [OCaml Software Foundation](https://ocaml-sf.org).

It was written by OCamlPro from 2015 to 2019.
It was written by OCamlPro from 2015 to 2018.

The current main contributors are Yann-Régis Gianas, Erik Martin-Dorel, and Louis Gesbert.
The current main contributors are Érik Martin-Dorel, Yann Régis-Gianas, and Louis Gesbert.

The initial authors were Benjamin Canou, Çağdaş Bozman and Grégoire Henry.
The initial authors were Benjamin Canou, Çağdaş Bozman, and Grégoire Henry.

It builds on the previous experience of Try OCaml, by Çağdaş Bozman and Fabrice Le Fessant.
It builds on the previous experience of Try OCaml, by Çağdaş Bozman, and Fabrice Le Fessant.

We heavily use js_of_ocaml, so thanks to the Ocsigen team.

Expand Down
14 changes: 9 additions & 5 deletions docs/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -74,12 +74,16 @@ Authors and Acknowledgements

Learn-OCaml is a free software by the [OCaml Software Foundation](https://ocaml-sf.org).

* The main authors are Benjamin Canou, Çağdaş Bozman and Grégoire Henry.
It was written by OCamlPro from 2015 to 2018.

* It builds on the previous experience of Try OCaml by Çağdaş Bozman.
The current main contributors are Érik Martin-Dorel, Yann Régis-Gianas, and Louis Gesbert.

* We heavily use js_of_ocaml, so thanks to the Ocsigen team.
The initial authors were Benjamin Canou, Çağdaş Bozman, and Grégoire Henry.

* The text editing component is a customized version of ACE.
It builds on the previous experience of Try OCaml, by Çağdaş Bozman, and Fabrice Le Fessant.

* We also include a derivative of ppx_metaquot by Alain Frisch.
We heavily use js_of_ocaml, so thanks to the Ocsigen team.

The text editing component is a customized version of ACE.

We also include a derivative of ppx_metaquot by Alain Frisch.
2 changes: 1 addition & 1 deletion src/ace-lib/ace.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019-2022 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/ace-lib/ace.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/ace-lib/ace_types.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/ace-lib/ocaml_mode.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/ace-lib/ocaml_mode.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_common.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019-2022 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_common.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019-2022 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_exercise_main.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019-2022 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_index_main.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019-2022 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_local_storage.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019-2022 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_local_storage.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019-2022 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_partition_view.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_playground_main.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_student_view.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_teacher_tab.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/learnocaml_teacher_tab.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/server_caller.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/app/server_caller.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grader_cli.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grader_cli.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grader_jsoo_messages.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grader_jsoo_messages.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grader_jsoo_worker.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grading.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grading.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grading_cli.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grading_cli.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grading_jsoo.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/grading_jsoo.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/introspection.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/introspection.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/introspection_intf.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/learnocaml_report.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/learnocaml_report.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/mutation_test.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/test_lib.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/grader/test_lib.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/main/learnocaml_client.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
2 changes: 1 addition & 1 deletion src/main/learnocaml_main.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* This file is part of Learn-OCaml.
*
* Copyright (C) 2019 OCaml Software Foundation.
* Copyright (C) 2016-2018 OCamlPro.
* Copyright (C) 2015-2018 OCamlPro.
*
* Learn-OCaml is distributed under the terms of the MIT license. See the
* included LICENSE file for details. *)
Expand Down
Loading