13:34:43 From Ali Caglayan To Everyone:
	I like dpdgraph :)
13:40:17 From Ali Caglayan To Everyone:
	Does anybody know which software mathcomp is using for its graphs? Is it dpdgraph?
13:42:13 From Karl Palmskog To Everyone:
	https://runtimeverification.github.io/vlsm-docs/latest/coqdoc/VLSM.Core.Equivocators.Composition.Projections.svg
13:46:05 From Ali Caglayan To Everyone:
	Here are the depgraphs we produce for every theorem in the HoTT library using dpdgraph: https://github.com/HoTT/HoTT/tree/gh-pages/file-dep-graphs
13:50:15 From Karl Palmskog To Everyone:
	File-level graph: https://runtimeverification.github.io/vlsm-docs/latest/coqdoc/map.svg
13:58:30 From Emilio Gallego Arias To Everyone:
	d3.js
13:58:30 From Hanneli Andreazzi Tavante To Everyone:
	D3
13:58:45 From Laurent Théry To Everyone:
	https://d3js.org/
14:05:56 From Lasse Blaauwbroek To Everyone:
	I'll have to leave. Thanks for the discussion!
14:11:20 From Hanneli Andreazzi Tavante To Everyone:
	I’m also taking notes here https://docs.google.com/document/d/1kRfUYP3p_4Dv-GkmNZc5gc3GSYS9Prrev-48DxwtJm4/edit?usp=sharing
14:13:19 From Ali Caglayan To Everyone:
	So don't be afraid of .glob?
14:13:47 From Emilio Gallego Arias To Everyone:
	https://github.com/coq/coq/pull/14966
14:15:19 From Emilio Gallego Arias To Everyone:
	foo.v -> Bar.Zaz.foo
14:17:23 From Emilio Gallego Arias To Everyone:
	-Q bar foo
14:17:24 From Ali Caglayan To Everyone:
	You don't even need to pass all the paths to Coq, just passing -Q for the top directory and using From ... Require Import lets coq find files deeper in the directory.
14:17:59 From Emilio Gallego Arias To Everyone:
	vernac/loadpath.mli
14:21:03 From Ali Caglayan To Everyone:
	Can you copy the chat log
14:21:19 From Hanneli Andreazzi Tavante To Everyone:
	I can include the chat log in the doc; does it work?
14:21:42 From Emilio Gallego Arias To Everyone:
	I took some excerpts
14:21:54 From Ali Caglayan To Everyone:
	There is a save chat button ...
14:22:02 From Ali Caglayan To Everyone:
	Done
14:31:57 From thomas To Everyone:
	I have a meeting, but I'll be back after ! Thanks so much guys :)
14:39:47 From Hanneli Andreazzi Tavante To Everyone:
	We have a topic for CoqDB - https://coq.zulipchat.com/#narrow/stream/314095-Coq-Hackathon-and-Working-Group.2C-Winter-2022/topic/DB.20of.20Coq.20objects
14:49:17 From Hanneli Andreazzi Tavante To Everyone:
	https://github.com/jscoq/jscoq/issues/261
14:49:21 From Emilio Gallego Arias To Everyone:
	https://github.com/jscoq/jscoq/issues/261
14:54:45 From Ali Caglayan To Everyone:
	Wow cool
15:14:50 From Emilio Gallego Arias To Everyone:
	https://github.blog/2019-09-18-github-welcomes-semmle/
15:28:48 From Emilio Gallego Arias To Everyone:
	@[output(graph)] Eval in foo.
15:29:43 From Karl Palmskog To Everyone:
	have to leave, see you
15:39:26 From Hanneli Andreazzi Tavante To Everyone:
	https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day#Participants
15:39:29 From Hanneli Andreazzi Tavante To Everyone:
	Ops
15:39:33 From Hanneli Andreazzi Tavante To Everyone:
	https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day
15:45:50 From Ali Caglayan To Everyone:
	It's getting easier!
15:50:50 From Emilio Gallego Arias To Everyone:
	https://dependenttyp.es/pdf/analytics.pdf
15:50:57 From Emilio Gallego Arias To Everyone:
	REPLica: REPL Instrumentation for Coq Analysis
16:08:36 From Yves Bertot To Everyone:
	Bye guys, I have to leave.
16:08:43 From Hanneli Andreazzi Tavante To Everyone:
	👋
16:15:42 From Laurent Théry To Everyone:
	Bye bye