Deploying to gh-pages from @ 2496102 🚀

ebousse · ebousse · commit f3071bfb4413 · 2024-09-06T02:52:01.000-05:00
diff --git a/Ali-Benjilany.html b/Ali-Benjilany.html
@@ -0,0 +1 @@
+
diff --git a/Dalila-Tamzalit.html b/Dalila-Tamzalit.html
@@ -0,0 +1 @@
+
diff --git a/Erwan-Bousse.html b/Erwan-Bousse.html
@@ -1 +1 @@
-<p><a href="https://hal.science/hal-04672573">Paper</a> authored by Léna Bamouh and Erwan Bousse, to be presented at <a href="https://sites.google.com/site/modevva/">MoDeVVa 2024</a>.</p>
+
diff --git a/Gerson-Sunyé.html b/Gerson-Sunyé.html
@@ -1 +1 @@
-<p><a href="https://correctexam.github.io/">Homepage</a></p>
+
diff --git a/Hiba-Ajabri.html b/Hiba-Ajabri.html
@@ -1 +1 @@
-<p>Building an executable domain-specific language to model a simple production line system using the <a href="https://gemoc.org/studio.html">Eclipse GEMOC Studio</a>.</p>
+
diff --git a/James-Miranda.html b/James-Miranda.html
@@ -1 +1 @@
-<p><a href="https://python.langchain.com/v0.1/docs/langgraph/">LangGraph documentation</a>, <a href="https://github.com/langchain-ai/langgraph/blob/main/examples/multi_agent/multi-agent-collaboration.ipynb">example used to prepare the tutorial</a>.</p>
+
diff --git a/Jean-Marie-Mottu.html b/Jean-Marie-Mottu.html
@@ -0,0 +1 @@
+
diff --git a/Massimo-Tisi.html b/Massimo-Tisi.html
@@ -1,4 +1 @@
-<p>(Tool of the week)
-<a href="https://coq.inria.fr/doc/v8.17/refman/proof-engine/ltac.html">Documentation</a>, 
-<a href="https://softwarefoundations.cis.upenn.edu/lf-current/AltAuto.html">Tutorial 1</a>, 
-<a href="http://adam.chlipala.net/cpdt/html/Match.html">Tutorial 2</a>.</p>
+
diff --git a/Matthew-Coyle.html b/Matthew-Coyle.html
@@ -1 +1 @@
-<p><a href="https://choco-solver.org">Homepage</a></p>
+
diff --git a/TBA.html b/TBA.html
@@ -0,0 +1 @@
+
diff --git a/Yasmina-Dali-Youcef.html b/Yasmina-Dali-Youcef.html
@@ -0,0 +1 @@
+
diff --git a/naomod_weekly_seminars.ics b/naomod_weekly_seminars.ics
diff --git a/seminar/generate_mondays.py b/seminar/generate_mondays.py
diff --git a/seminars.html b/seminars.html

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<p><a href="https://hal.science/hal-04672573">Paper</a> authored by Léna Bamouh and Erwan Bousse, to be presented at <a href="https://sites.google.com/site/modevva/">MoDeVVa 2024</a>.</p>`
	`1`	`+`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<p><a href="https://correctexam.github.io/">Homepage</a></p>`
	`1`	`+`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<p>Building an executable domain-specific language to model a simple production line system using the <a href="https://gemoc.org/studio.html">Eclipse GEMOC Studio</a>.</p>`
	`1`	`+`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<p><a href="https://python.langchain.com/v0.1/docs/langgraph/">LangGraph documentation</a>, <a href="https://github.com/langchain-ai/langgraph/blob/main/examples/multi_agent/multi-agent-collaboration.ipynb">example used to prepare the tutorial</a>.</p>`
	`1`	`+`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<p><a href="https://choco-solver.org">Homepage</a></p>`
	`1`	`+`