diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index 3a43d4589..6b367e1c9 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -63,6 +63,7 @@ pgfMain command pgf =
       "complete"       -> out =<< doComplete pgf # text % cat % from % limit
       "linearize"      -> out =<< doLinearize pgf # tree % to
       "linearizeAll"   -> out =<< doLinearizes pgf # tree % to
+      "linearizeTable" -> out =<< doLinearizeTabular pgf # tree % to
       "random"         -> cat >>= \c -> depth >>= \dp -> limit >>= \l -> to >>= \to -> liftIO (doRandom pgf c dp l to) >>= out
       "generate"       -> out =<< doGenerate pgf # cat % depth % limit % to
       "translate"      -> out =<< doTranslate pgf # text % cat % from % to % limit
@@ -298,6 +299,12 @@ doLinearizes pgf tree tos = showJSON
     [makeObj ["to".=to, "texts".=texts]
        | (to,texts) <- linearizes' pgf tos tree]
 
+doLinearizeTabular :: PGF -> PGF.Tree -> [PGF.Language] -> JSValue
+doLinearizeTabular pgf tree tos = showJSON
+    [makeObj ["to".=to,
+              "table".=[makeObj ["params".=ps,"texts".=ts] | (ps,ts)<-texts]]
+       | (to,texts) <- linearizeTabular pgf tos tree]
+
 doRandom :: PGF -> Maybe PGF.Type -> Maybe Int -> Maybe Int -> [PGF.Language] -> IO JSValue
 doRandom pgf mcat mdepth mlimit tos =
   do g <- newStdGen
@@ -569,7 +576,7 @@ transfer lang = if "LaTeX" `isSuffixOf` show lang
                 then fold -- OpenMath LaTeX transfer
                 else id
 
--- all variants and their forms
+-- | list all variants and their forms
 linearizes' :: PGF -> [PGF.Language] -> PGF.Tree -> [(PGF.Language,[String])]
 linearizes' pgf tos tree =
     [(to,lins to (transfer to tree)) | to <- langs]
@@ -577,6 +584,18 @@ linearizes' pgf tos tree =
     langs = if null tos then PGF.languages pgf else tos
     lins to = nub . concatMap (map snd) . PGF.tabularLinearizes pgf to
 
+-- | tabulate all variants and their forms
+linearizeTabular
+  :: PGF -> [PGF.Language] -> PGF.Tree -> [(PGF.Language,[(String,[String])])]
+linearizeTabular pgf tos tree =
+    [(to,lintab to (transfer to tree)) | to <- langs]
+  where
+    langs = if null tos then PGF.languages pgf else tos
+    lintab to t = [(p,nub [t|(p',t)<-vs,p'==p])|p<-ps]
+      where
+        ps = nub (map fst vs)
+        vs = concat (PGF.tabularLinearizes pgf to t)
+
 linearizeAndBind pgf mto t =
     [(la, binds s,bs) | (la,s,bs) <- linearize' pgf mto t]
   where