diff options
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 |