nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
154 Commits 32 Branches 0 Tags 62 MiB
Commit Graph

66 Commits

Author SHA1 Message Date
Achim D. Brucker 8cf2820637 Added support for user configuration. 2018-05-20 09:20:03 +01:00
Achim D. Brucker b6b3b3ea02 Added license information. 2018-05-20 09:18:03 +01:00
Achim D. Brucker 9d9531c547 Added initial LNCS configuration and delted outdated example. 2018-05-20 09:17:50 +01:00
Achim D. Brucker 620aec262c Updated output message during conversion. 2018-05-19 23:42:54 +01:00
Achim D. Brucker b79230e35a Bug fix: convertLaTeXTokenStreamRec(). 2018-05-19 23:36:52 +01:00
Achim D. Brucker 3a431c4f72 Added missing space in warning message. 2018-05-19 22:14:04 +01:00
Achim D. Brucker c6a6bd1195 Added missing tokens in toString() functions. 2018-05-19 22:13:28 +01:00
Achim D. Brucker 47f47574af Added various special characters. 2018-05-19 21:40:17 +01:00
Achim D. Brucker c95a0b6f1d Added warning about empty LaTeX files, indicating a broken Isabelle build. 2018-05-19 21:39:02 +01:00
Achim D. Brucker 867df13019 Improved error message (added character position. 2018-05-19 20:36:28 +01:00
Achim D. Brucker 9141f8ead4 Yet another step towards only using tail recursive functions. 2018-05-19 20:10:35 +01:00
Achim D. Brucker 1715a7f195 Increased version number to 0.0.1. 2018-05-19 18:37:36 +01:00
Achim D. Brucker 35420ad975 Bug fix: \endfoo wrongly classified as \end{foo} 2018-05-19 18:19:54 +01:00
Achim D. Brucker 57ad27f1e5 Minor refactoring. 2018-05-19 18:12:30 +01:00
Achim D. Brucker 23d57d14c9 Fixed typo. 2018-05-19 11:21:38 +01:00
Achim D. Brucker c73c92783d Removed unused printToken(). 2018-05-02 14:06:09 +01:00
Achim D. Brucker 809484e09c Refactoring (converstion to tail recursion). 2018-05-01 23:51:32 +01:00
Achim D. Brucker cac7e46f88 Converted toString to an implementation using a for loop. Recursive variant caused a stack overflow. 2018-05-01 17:55:14 +01:00
Achim D. Brucker cc84c364a4 Remove quotes. 2018-04-29 00:11:33 +01:00
Achim D. Brucker e6b5d8bf5c Re-map isacharplus. 2018-04-28 22:52:29 +01:00
Achim D. Brucker 51d4d71e90 Generate type specific LaTeX commands. 2018-04-28 21:49:50 +01:00
Achim D. Brucker 0f9910917e Initial conversion. 2018-04-28 17:44:43 +01:00
Achim D. Brucker 1c558f89a3 Documented Eclipse setup. 2018-04-08 17:32:04 +01:00
Achim D. Brucker 0645a9264e Added license information. 2018-04-08 17:13:45 +01:00
Achim D. Brucker 0929d73541 Improved warning message. 2018-04-08 16:37:16 +01:00
Achim D. Brucker b63c8da6cb Added \_ as token. 2018-04-08 16:36:46 +01:00
Achim D. Brucker c336aee16f Added version check. 2018-04-08 15:58:18 +01:00
Achim D. Brucker 77cfc621aa Allow <> in LaTeX commands. 2018-04-08 15:18:24 +01:00
Achim D. Brucker 99882abafa Removed obsolete fixltx2e. 2018-04-08 14:54:29 +01:00
Achim D. Brucker e60afde3f9 Added simple parser for command line arguments. 2018-04-08 14:23:56 +01:00
Achim D. Brucker cd26348056 Improved error handling. 2018-04-08 13:35:21 +01:00
Achim D. Brucker a23efa6a8e Skip empty files. 2018-04-08 12:21:09 +01:00
Achim D. Brucker 5e3bdbd340 Bug fix: directory creation. 2018-04-07 21:52:35 +01:00
Achim D. Brucker 313a6ea930 Bug fix: directory creation. 2018-04-07 21:44:26 +01:00
Achim D. Brucker ebd844f212 Added test for Isabelle_DOF installation. 2018-04-07 21:29:21 +01:00
Achim D. Brucker 554b2c2ce1 Ignore eclipse project files. 2018-04-03 17:43:40 +01:00
Achim D. Brucker f343af9b54 Integrated LaTexLexer. 2018-04-03 17:42:43 +01:00
Achim D. Brucker 0a517350c4 Bug fixes and added toString() method. 2018-04-03 17:42:25 +01:00
Achim D. Brucker 43f3215938 First set of test cases. 2018-04-03 17:42:08 +01:00
Achim D. Brucker 355aae24ec Added junit (to allow the use of JUnit-Runner in Eclipse as an alternative to the ScalaTest-Runner). 2018-04-03 17:41:43 +01:00
Achim D. Brucker e7086892be Add support for scalatest runnter via maven. 2018-04-03 12:13:44 +01:00
Achim D. Brucker ca3ac58789 Initial maven setup. 2018-04-03 11:23:23 +01:00
Achim D. Brucker 9804f0f976 Initial commit. 2018-04-02 22:17:14 +01:00
Achim D. Brucker 57344fe6a5 Simlistic Eclipse project setup. 2018-04-02 22:13:20 +01:00
Achim D. Brucker 4a3adee46f Moved Scala source files into package directory to prepare Eclipse setup. 2018-04-02 21:36:00 +01:00
Achim D. Brucker b1d39bd9ec Added: simple test setup. 2018-03-06 09:44:07 +00:00
Achim D. Brucker e72addeca8 Fixed typo. 2018-03-06 08:23:06 +00:00
Achim D. Brucker e0a5041f37 Removed toUppper from output. 2018-03-06 07:45:04 +00:00
Achim D. Brucker aa3d636260 Removed unused file. 2018-03-06 07:44:48 +00:00
Achim D. Brucker 2afb75ef03 Removed toUppper from output. 2018-03-06 07:43:42 +00:00