diff options
author | 2017-05-24 11:14:51 -0400 | |
---|---|---|
committer | 2017-05-24 11:14:51 -0400 | |
commit | c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f (patch) | |
tree | f89d20d989b309730281d4266b734e0adaed1867 /contrib/ML4PG/doc/src/ml4pg_manual.bib | |
parent | afb29a670c537412d09cec703da7e8821c658196 (diff) |
Remove mmm and ML4PG contribs and remove references to them in code and docs
Diffstat (limited to 'contrib/ML4PG/doc/src/ml4pg_manual.bib')
-rw-r--r-- | contrib/ML4PG/doc/src/ml4pg_manual.bib | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/contrib/ML4PG/doc/src/ml4pg_manual.bib b/contrib/ML4PG/doc/src/ml4pg_manual.bib deleted file mode 100644 index 07dcb4ba..00000000 --- a/contrib/ML4PG/doc/src/ml4pg_manual.bib +++ /dev/null @@ -1,12 +0,0 @@ -@Article{KHG12, - author = {E. Komendantskaya and J. Heras and G. Grov}, - title = {Machine Learning in Proof General: interfacing interfaces}, - year = {2012}, -} - - -@Article{HK13, - author = {J. Heras and E. Komendantskaya}, - title = {ML4PG Case studies}, - year = {2013}, -}
\ No newline at end of file |